Vai al contenuto principale della pagina

Computation and proof theory : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Borger, Egon Visualizza persona
Titolo: Computation and proof theory : proc. of the Logic Colloquium held in Aachen, July 18-23, 1983 / eds. G. H. Muller, M. M. Richter Visualizza cluster
Pubblicazione: 2 pt. ; 23 c
Disciplina: 511.3
Soggetto topico: Recursion theory
Classificazione: AMS 03D
AMS 03F
AMS 68-XX
Altri autori: Oberschelp, Walter  
Richter, Michael M.  
Schinzel, Brigitta  
Thomas, Wolfgang  
Note generali: 2 Pt.
ISBN: 354013901X
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 991000773229707536
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui