Undecidable theories [monographie]

Auteur(s): Tarski, Alfred (1901-1983)
Robinson, Raphael Mitchel (1911-1995) (Collab.)
Mostowski, Andrzej (1913-1975) (Collab.)
Langue: anglais
Collection: Studies in logic and the foundations of mathematics
Editeur, date d'édition: North-Holland Publishing Company, Inc., 1953
Ville(s) d'édition: Amsterdam (NL)
ISSN: 0049-237X
Classification MSC: 02.0X (2000)
Notes: xi ; bibliogr. pp. 89-91 ; index pp. 93-96 ; 21 cm ; 98 p.
Thèmes: undecidable theories, theoreme de godel

05 TAR 53Disponible