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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 25,59 für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerAnbieter: Row By Row Bookshop, Sugar Grove, NC, USA
Trade Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. First U.S. Edition. A Very Good copy in yellow psaper covers. Small soil spot at the foredge, else close to as new. Book. Bestandsnummer des Verkäufers 054377
Anzahl: 1 verfügbar
Anbieter: Pella Books, Pella, IA, USA
Trade Paperback. Zustand: Used Very Good. Bestandsnummer des Verkäufers 236293
Anzahl: 1 verfügbar
Anbieter: Mahler Books, PFLUGERVILLE, TX, USA
Paperback. Zustand: Very Good. This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean. ; Undergraduate Texts In Mathematics; 225 pages. Bestandsnummer des Verkäufers 12GW21-490-313
Anzahl: 1 verfügbar
Anbieter: HPB-Movies, Dallas, TX, USA
paperback. Zustand: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Bestandsnummer des Verkäufers S_448461911
Anzahl: 1 verfügbar