Record Nr.

UNISA990001077280203316

Titolo

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 and G.H. Muller

Pubbl/distr/stampa


Berlin : Springer verlag, 1975

Descrizione fisica

VIII, 383 p. : ill. ; 24 cm

Collana

Lecture notes in mathematics ; 500

Collocazione

510 LNM 500

Lingua di pubblicazione

Non definito

Formato

Materiale a stampa

Livello bibliografico

Monografia