Vai al contenuto principale della pagina

Logic colloquium '76 : proceedings of a conference held in Oxford in July 1976 / edited by R.O. Gandy, J.M.E. Hyland



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: LOGIC COLLOQUIUM, Oxford, 1976 Visualizza persona
Titolo: Logic colloquium '76 : proceedings of a conference held in Oxford in July 1976 / edited by R.O. Gandy, J.M.E. Hyland Visualizza cluster
Pubblicazione: Amsterdam [etc.] : North-Holland, 1977
Descrizione fisica: x, 612 p. ; 23 cm
Disciplina: 160
Soggetto non controllato: Logica
Ricorsività
Persona (resp. second.): Gandy, R.O.
Hyland, John Martin Elliott
Titolo autorizzato: Logic colloquium '76  Visualizza cluster
ISBN: 0-7204-2200-0
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990000997020403321
Lo trovi qui: Univ. Federico II
Collocazione: 7-188.001
Opac: Controlla la disponibilità qui