Undecidable Theories / by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson |
Autore | Tarski, Alfred <1901-1983> |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1953 |
Descrizione fisica | XI, 98 p. ; 22 cm |
Disciplina | 160 |
Soggetto non controllato |
Logica
Ricorsività |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001068400403321 |
Tarski, Alfred <1901-1983> | ||
Amsterdam : North-Holland, 1953 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|