This book is an introduction to metamathematics and Gödel's theorems. It covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus. It is based on the Open Logic Project, and available for free download at ic.openlogicproject.org.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 4,09 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerEUR 11,68 für den Versand von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & DauerAnbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Bestandsnummer des Verkäufers GOR011708102
Anzahl: 1 verfügbar
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Paperback. Zustand: Fine. Bestandsnummer des Verkäufers GOR014008938
Anzahl: 1 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 281 pages. 9.69x7.44x0.64 inches. In Stock. Bestandsnummer des Verkäufers zk1077323395
Anzahl: 1 verfügbar
Anbieter: SecondSale, Montgomery, IL, USA
Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. Bestandsnummer des Verkäufers 00087768839
Anzahl: 1 verfügbar
Anbieter: St Vincent de Paul of Lane County, Eugene, OR, USA
Zustand: Very Good. paperback 100% of proceeds go to charity! May have signs of use, wear and minor cosmetic defects. Bestandsnummer des Verkäufers V-04-3819
Anzahl: 1 verfügbar
Anbieter: BestAroundDeals, Grand Rapids, MI, USA
Soft cover. Zustand: New. Bestandsnummer des Verkäufers ABE-1745799466811
Anzahl: 3 verfügbar