Gödel's Theorem
Publication date
2003-04
Authors
Dalen, D. van
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
The following pages make form a new chapter for the book Logic and Structure.
This chapter deals with the incompleteness theorem, and contains
enough basic material for the treatment of the required notions of computability,
representability and the like.
This chapter will appear in the next edition of Logic and Structure. Comments
are welcome.