An Introduction to Gödel’s Theorems

Author / Organization:
Mathematical Logic - Computability, Set Theory, Model Theory, etc Published 2020 2220 KB ✓ Verified Direct PDF

Overview & Synopsis

The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book -- extensively rewritten for its second edition -- will be accessible to philosophy students with a limited formal background. It will be of equal interest to mathematics students taking a first course in mathematical logic.

Indexed from repository: FreeComputerBooks.com (freecomputerbooks.com)
Loading document from verified source...
Keyboard Shortcuts: ← / → for pages • + / - for zoom • 0 to fit width Powered by Mozilla PDF.js v3.11

Document Information

Document Title An Introduction to Gödel’s Theorems
Author / Organization Peter Smith
Subject & Discipline Mathematical Logic - Computability, Set Theory, Model Theory, etc, Theory of Computation and Computing, Computational Complexity
Categories Mathematical Logic - Computability, Set Theory, Model Theory, etc
Publication Year 2020
ISBN 979-8673862131
License / Rights Available as a freely downloadable PDF
Resource Verification ✓ Verified Direct PDF Available
Alternative Mirrors & Links
Original Host Website FreeComputerBooks.com (freecomputerbooks.com)
File Format application/pdf (Portable Document Format)
Reported File Size 2220 KB (2,273,281 bytes)
Language ENGLISH
Catalog ID DOC-71816
Original Source Link Visit Source Page on freecomputerbooks.com »
Commercial / Print Edition

Prefer a Physical Book or Kindle Edition?

An Introduction to Gödel’s Theorems • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.