An introduction to Godel's theorems / Peter Smith

Auteur principal : Smith, Peter, 1935-, AuteurType 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 fragments
03F40, Proof theory and constructive mathematics, Gödel numberings and issues of incompleteness
03-03, History of mathematical logic and foundations
En-ligne : accès au premier chapitre Item type: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
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.

to post a comment.