An introduction to Godel's theorems / Peter Smith

Auteur: Smith, Peter (1935-) - AuteurType de document: Monographie Collection: Cambridge introductions to philosophy Langue: anglaisPays: Grande BretagneÉditeur: Cambridge : Cambridge, 2007Description: 1 vol. (XIV-361 p.) ; 25 cm ISBN: 9780521674539 ; br. Bibliographie: Bibliogr. p. 346-355. Index. Sujets MSC: 03F30 Mathematical logic and foundations -- Proof theory and constructive mathematics -- First-order arithmetic and fragments
03F40 Mathematical logic and foundations -- Proof theory and constructive mathematics -- Gödel numberings and issues of incompleteness
03-03 Mathematical logic and foundations -- Historical
En-ligne: accès au premier chapitre
Location Call Number Status Date Due
Salle R 04817-01 / 03 SMI (Browse Shelf) Available

Bibliogr. p. 346-355. Index

There are no comments for this item.

Log in to your account to post a comment.
Languages: English | Français | |