Undecidable theories / Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson

Auteur principal : Tarski, Alfred, 1901-1983, AuteurAuteur secondaire : Mostowski, Andrzej, 1913-1975, Collaborateur • Robinson, Raphael Mitchel, 1911-1995, CollaborateurType de document : MonographieCollection : Studies in logic and the foundations of mathematicsLangue : anglais.Pays: Pays Bas.Mention d'édition: 3rd printingÉditeur : Amsterdam : North-Holland, 1971Description : 1 vol. (XI-98 p.) ; 23 cmISBN: 9780720422467.ISSN: 0049-237X.Bibliographie : Bibliogr. p. 89-91.Sujet MSC : 03Dxx, Mathematical logic and foundations - Computability and recursion theory
03Fxx, Mathematical logic and foundations - Proof theory and constructive mathematics
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Monographie Monographie CMI
Salle 1 		03 TAR (Browse shelf(Opens below)) Available 03872-01
Monographie Monographie CMI
Salle 1 		03 TAR (Browse shelf(Opens below)) Available 03872-02

Bibliogr. p. 89-91

There are no comments on this title.

to post a comment.