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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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
|
| Pubblicazione: | Berlin : Springer verlag, 1975 |
| Descrizione fisica: | VIII, 383 p. : ill. ; 24 cm |
| Titolo autorizzato: | ISILC proof theory symposium |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Non definito |
| Record Nr.: | 990001077280203316 |
| Lo trovi qui: | Univ. di Salerno |
| Collocazione: | 510 LNM 500 |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture notes in mathematics ; 500
| Biblioteca: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |