ISILC proof theory symposium : dedicated to Kurt Schutte on the occasion of his 65th birthday proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / Edited by J. Diller, G. H. Muller
Pubbl/distr/stampa
Berlin : Springer-Verlag, c1975
ISBN
3-540-07533-X
Descrizione fisica
viii, 383 p. ; 24 cm
Collana
Lecture Notes in Mathematics ; 500
Disciplina
511.3
Locazione
MA1
Collocazione
C-20-(500
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
Note generali
In allegato e con uguale n. di inventario: An index and other useful information.