Loading…

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt G�odel /

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Mostowski, Andrzej
Format: Electronic eBook
Language:Inglés
Published: Dordrecht : Elsevier Science, 1952.
Series:Studies in logic and the foundations of mathematics ; v. 10.
Subjects:
Online Access:Texto completo
Texto completo
Texto completo
Table of Contents:
  • Auxiliary notions and theorems of arithmetic
  • System (S) and its syntax
  • Arithmetical theorems proable in (S)
  • Semantics of (S)
  • Recursivity and definability of functions and relations
  • Proofs of incompleteness theorems.