Vai al contenuto principale della pagina
Autore: | Logic Colloquium : <8. ; : 1963 |
Titolo: | Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July 1963 / edited by J. N. Crossley , M. A. E. Dummett |
Pubblicazione: | Amsterdam : North Holland, 1965 |
Descrizione fisica: | 320 p. ; 24 cm |
Disciplina: | 516 |
160 | |
Soggetto non controllato: | Insiemi |
Strutture algebriche | |
Logica | |
Ricorsività | |
Persona (resp. second.): | Crossley, John Newsome |
Dummett, M.A.E. | |
Titolo autorizzato: | Formal systems and recursive functions |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 990002558740403321 |
Lo trovi qui: | Univ. Federico II |
Collocazione: | MXXV-A-240 |
7-079 | |
C-30-(39 | |
Opac: | Controlla la disponibilità qui |