At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary's user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study. Updating the 1st Edition's treatment of languages, structures, and deductions, leading to rigorous proofs of Gödel's First and Second Incompleteness Theorems, the expanded 2nd Edition includes a new introduction to incompleteness through computability as well as solutions to selected exercises.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Versand:
Gratis
Innerhalb der USA
Versand:
EUR 2,38
Innerhalb der USA
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.3. Bestandsnummer des Verkäufers G1942341075I4N00
Anzahl: 1 verfügbar
Anbieter: Half Price Books Inc., 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_409908158
Anzahl: 1 verfügbar
Anbieter: Zoom Books Company, Lynden, WA, USA
Zustand: UNSPECIFIED. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. Bestandsnummer des Verkäufers ZBV.1942341075.VG
Anzahl: 1 verfügbar
Anbieter: Textbooks_Source, Columbia, MO, USA
paperback. Zustand: Good. 2nd Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Bestandsnummer des Verkäufers 002008480U
Anzahl: 1 verfügbar
Anbieter: GF Books, Inc., Hawthorne, CA, USA
Zustand: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 1.15. Bestandsnummer des Verkäufers 1942341075-2-3
Anzahl: 1 verfügbar
Anbieter: Books Unplugged, Amherst, NY, USA
Zustand: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 1.15. Bestandsnummer des Verkäufers bk1942341075xvz189zvxgdd
Anzahl: 1 verfügbar
Anbieter: Book Deals, Tucson, AZ, USA
Zustand: Very Good. Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any). 1.15. Bestandsnummer des Verkäufers 353-1942341075-vrg
Anzahl: 1 verfügbar
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New. Bestandsnummer des Verkäufers 24542520-n
Anzahl: 5 verfügbar
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Paperback or Softback. Zustand: New. A Friendly Introduction to Mathematical Logic 1.22. Book. Bestandsnummer des Verkäufers BBS-9781942341079
Anzahl: 5 verfügbar
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 24542520
Anzahl: 5 verfügbar