Flum thomas (45 Ergebnisse)

Zustand: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Taschenbuch. Zustand: Gut. unpagn., Ill., Kt. Einband u. Kanten etwas berieben, Ecken leicht bestoßen, Preisaufkleberreste aus Cover, winzige Notiz auf Buchdeckel Rückseite, sonst Buch gut erhalten LIEFERZEITEN / DELIVERY TIMES: DEUTSCHLAND 5 - 14 Tage EUROPA/EUROPE: 7 - 30 Tage/Days USA/WELTWEIT/WORLDWIDE: 14 - 60 Tage/Days (!!!) +++ Sprache: Deutsch Gewicht in Gramm: 450.…

Couverture souple. Zustand: Bon. EBBINGHAUS (H.-D.), FLUM (J.), THOMAS (W.). Einführung in die mathematische Logik. Darmstadt, 1978, in-8°, br., texte dactylographié.

Softcover. Zustand: Good. Original boards, illustrated with numerous equations, 8vo. Undergraduate Texts in Mathematics.; Name in pen on title page.

Hardcover. Zustand: Fine. 2nd Edition.

Broschiert. Zustand: Gut. 5. Aufl. IX, 339 S. ; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann entsprechende Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.). Aufgrund des Alters und der häufigen Nutzung können Stabilität, Einband sowie Papierqualität beeinträchtigt sein. Der Buchblock ist stellenweise lose. Sprache: Deutsch Gewicht in Gramm: 520.…

Zustand: New.

Zustand: New.

Hardback. Zustand: New. Third Edition 2021. This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In answering these questions, this textbook explores the capabilities and limitations of algorithms and proof methods in mathematics and computer science.The chapters are carefully organized, featuring complete proofs and numerous examples throughout. Beginning with motivating examples, the book goes on to present the syntax and semantics of first-order logic. After providing a sequent calculus for this logic, a Henkin-type proof of the completeness theorem is given. These introductory chapters prepare the reader for the advanced topics that follow, such as Gödel's Incompleteness Theorems, Trakhtenbrot's undecidability theorem, Lindström's theorems on the maximality of first-order logic, and results linking logic with automata theory. This new edition features many modernizations, as well as two additional important results: The decidability of Presburger arithmetic, and the decidability of the weak monadic theory of the successor function.Mathematical Logic is ideal for students beginning their studies in logic and the foundations of mathematics. Although the primary audience for this textbook will be graduate students or advanced undergraduates in mathematics or computer science, in fact the book has few formal prerequisites. It demands of the reader only mathematical maturity and experience with basic abstract structures, such as those encountered in discrete mathematics or algebra.…

Zustand: New.

Zustand: New.

hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.

Zustand: New. In English.

Zustand: As New. Unread book in perfect condition.

Hardcover. Zustand: Fine. 1st Edition. Second printing. Hardcover volume, measuring approximately 6.5" x 9.75", is bound in glossy yellow paper spine and boards. Book shows very light shelfwear. Binding is firm. Stamp of the Department of Mathematics, Cornell University appears on front and rear flyleaves. Interior is otherwise clean and bright. ix/216 pages. "A self-contained introduction to first-order logic includes an exposition of topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindstrom's theorem on the maximality of first-order logic).".…

Olwd. mit OU. 4°. 183 S. Mit Abb. Neue Forschungen zur Deutschen Kunst. V. 1414 gr.

Softcover. Zustand: Sehr gut. Darmstadt, WBG 1978. IX, 288 S. OKart. Sehr gut erhalten.

X, 338 Seiten, Format 14 x 21 cm, mattkaschierter u. originalkartonierter Einband. * Literaturverzeichnis u. Register auf den Seiten 323-338. Erhaltung: Auf dem rückseitigen Deckel ein Preis-Etikett (DM 29,80). Sonst keine weiteren Mängel. Insgesamt sehr gut erhalten [Eine größere Sammlung Physik, Mathematik, Astronomie und verwandte Gebiete wird derzeit in den Bestand eingearbeitet. Sie finden diese Titel bei uns in den gleichnamigen Rubriken]. Sprache: Deutsch. …

Zustand: New. Explores additional important decidability results in this thoroughly updated new editionIntroduces mathematical logic by analyzing foundational questions on proofs and provability in mathematicsHighlights the capabilities and limitations o.

Zustand: New.

Hardback. Zustand: New. Third Edition 2021. This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In answering these questions, this textbook explores the capabilities and limitations of algorithms and proof methods in mathematics and computer science.The chapters are carefully organized, featuring complete proofs and numerous examples throughout. Beginning with motivating examples, the book goes on to present the syntax and semantics of first-order logic. After providing a sequent calculus for this logic, a Henkin-type proof of the completeness theorem is given. These introductory chapters prepare the reader for the advanced topics that follow, such as Gödel's Incompleteness Theorems, Trakhtenbrot's undecidability theorem, Lindström's theorems on the maximality of first-order logic, and results linking logic with automata theory. This new edition features many modernizations, as well as two additional important results: The decidability of Presburger arithmetic, and the decidability of the weak monadic theory of the successor function.Mathematical Logic is ideal for students beginning their studies in logic and the foundations of mathematics. Although the primary audience for this textbook will be graduate students or advanced undergraduates in mathematics or computer science, in fact the book has few formal prerequisites. It demands of the reader only mathematical maturity and experience with basic abstract structures, such as those encountered in discrete mathematics or algebra.…

Zustand: New.

Hardcover. Zustand: gut. 1994. Mathematical Logic - 2nd Edition In englischer Sprache. pages.

183 S. Leinen mit Schutzumschlag. 4°. Sauberes Exemplar ohne Stempel und Anstreichungen. Mit zahlreichen Abbildungen und Tafeln. Original eingeschweißt. Neuwertig. Sprache: deu.

Zustand: As New. Unread book in perfect condition.

Zustand: Buone. tedesco Condizioni dell'esterno: Buone Condizioni dell'interno: Buone.

Brossura. Zustand: new. Edited by Michele Tomasi, Thomas Flum, Jean-Marie Guillouët and Sophie Jugie. French Text. Roma, 2026; paperback, pp. 360, ill., cm 17,2x24,1. (Études Lausannoises d'Histoire de l'Art. 35). Libro.

Paperback. Zustand: New.

Erste Auflage. 30,5 x 24,5 cm. 182 S., 1 gefalteter Plan. OLeinen mit illustriertem OUmschlag. Umschlagkanten mit kleinen Bereibungen, insgesamt etwas angestaubt. Gutes Exemplar. Neue Forschungen zur Deutschen Kunst V 2001. Baugeschichte zum Chorprojekt von 1354 durchgehend mit Abbildungen - Fotografien, Zeichnungen, Pläne - sowie einem gefalteten Plan im Anhang versehen. …