Mathematical Logic (Undergraduate Texts in Mathematics)
13 Angebote vergleichen

Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Lucky's Fulfillment.
Hardcover, Format: Import, Etikett: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Varegrupper: Book, Publisert: 1984-12-31, Studio: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Salg rangering: 10871966.

Lieferung aus: Schweiz, Lagernd, zzgl. Versandkosten.
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. eBook.

Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, hippo_books.
This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindström's theorem on the maximality of first-order logic). The presentation is detailed and systematic without being long-winded or tedious. The role of first-order logic in the foundations of mathematics is worked out clearly, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. Many exercises accompany the text., Paperback, Ausgabe: 1st edition 1984. 2nd printing 1985, Label: Springer, Springer, Produktgruppe: Book, Publiziert: 1985-07-15, Studio: Springer, Verkaufsrang: 10235542.

Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, betterworldbooks__.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Versandantiquariat Felix Mücke, [3380065].
Buch in sehr gutem Zustand, Nichtraucherhaushalt, Versand erfolgt umgehend in gut gepolstertem Umschlag!

Versandantiquariat Felix Mücke, [3380065].
216 Seiten Gebundene AusgabeBuch in sehr gutem Zustand, Artikel stammt aus Nichtraucherhaushalt! M298.

Lieferung aus: Kanada, In Stock, plus shipping.
H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas, Books, Science and Nature, Mathematical Logic, Mathematical Logic.

Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
Von Händler/Antiquariat, Better World Books [51315977], Mishawaka, IN, U.S.A.
Former Library book. Shows some signs of wear, and may have some markings on the inside.

Lieferung aus: Deutschland, In Stock, plus shipping.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen