Vai al contenuto principale della pagina
Autore: | Symposium on mathematical logic : <3. ; : 1976 |
Titolo: | Non-classical logic, model theory and computability : proceedings of the third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A.I. Arruda, N.C.A. da Costa, R. Chuaqui |
Pubblicazione: | Amsterdam [etc.] : North-Holland, 1977 |
Descrizione fisica: | xviii, 307 p. ; 23 cm |
Disciplina: | 160 |
Soggetto non controllato: | Logica |
Ricorsività | |
Persona (resp. second.): | Arruda, Ayda I. |
Chuaqui, Rolando | |
Costa, Newton Carneiro Affonso : da <1929- > | |
Titolo autorizzato: | Non-classical logic, model theory and computability |
ISBN: | 0-7204-0752-4 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 990000954650403321 |
Lo trovi qui: | Univ. Federico II |
Collocazione: | 7-197 |
C-30-(89 | |
Opac: | Controlla la disponibilità qui |