Verwandte Artikel zu A Friendly Introduction to Mathematical Logic

A Friendly Introduction to Mathematical Logic - Softcover

 
9781942341079: A Friendly Introduction to Mathematical Logic

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

Gebraucht kaufen

Zustand: Gut
The book has been read, but is...
Diesen Artikel anzeigen

EUR 4,10 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

EUR 5,84 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9780130107053: A Friendly Introduction to Mathematical Logic

Vorgestellte Ausgabe

ISBN 10:  0130107050 ISBN 13:  9780130107053
Verlag: Pearson, 2000
Hardcover

Suchergebnisse für A Friendly Introduction to Mathematical Logic

Beispielbild für diese ISBN

Kristiansen, Lars
Verlag: Milne Library, 2015
ISBN 10: 1942341075 ISBN 13: 9781942341079
Gebraucht Paperback

Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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. Artikel-Nr. GOR012150082

Verkäufer kontaktieren

Gebraucht kaufen

EUR 31,02
Währung umrechnen
Versand: EUR 4,10
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Leary, Christopher C.; Kristiansen, Lars
Verlag: Milne Library, 2015
ISBN 10: 1942341075 ISBN 13: 9781942341079
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Artikel-Nr. ria9781942341079_new

Verkäufer kontaktieren

Neu kaufen

EUR 33,62
Währung umrechnen
Versand: EUR 5,84
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb