An introduction to Godel's theorems / Peter Smith
Type de document : MonographieCollection : Cambridge introductions to philosophyLangue : anglais.Pays: Grande Bretagne.Éditeur : Cambridge : Cambridge University Press, 2007Description : 1 vol. (XIV-361 p.) ; 25 cmISBN: 9780521674539.Bibliographie : Bibliogr. p. 346-355. Index.Sujet MSC : 03F30, Proof theory and constructive mathematics, First-order arithmetic and fragments03F40, Proof theory and constructive mathematics, Gödel numberings and issues of incompleteness
03-03, History of mathematical logic and foundationsEn-ligne : accès au premier chapitre
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
CMI Salle 1 | 03 SMI (Browse shelf(Opens below)) | Available | 04817-01 |
Bibliogr. p. 346-355. Index
There are no comments on this title.