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 |
Exemplaire(s)
Cote | Retour |
---|---|
05 TAR 53 | Disponible |