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.
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Artikel-Nr. 4110870-6
Anzahl: 1 verfügbar
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Hardcover. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Artikel-Nr. G0387908951I3N00
Anzahl: 1 verfügbar
Anbieter: Palimpsest Scholarly Books & Services, Brooktondale, NY, USA
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).". Artikel-Nr. ABE-1645490314389
Anzahl: 1 verfügbar