⊨ISILC proof theory symposion [e-book] : dedicated to Kurt Schütte on the occasion of his 65th birthday proceedings of the international summer institute and logic colloquium, Kiel 1974 / edited by Justus Diller, Gert H. Müller
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
⊨ISILC proof theory symposion [e-book] : dedicated to Kurt Schütte on the occasion of his 65th birthday proceedings of the international summer institute and logic colloquium, Kiel 1974 / edited by Justus Diller, Gert H. Müller
|
| Pubblicazione: | Berlin : Springer, 1975 |
| Descrizione fisica: | 1 online resource (cd, 390 p.) |
| Disciplina: | 510 |
| Soggetto topico: | Mathematics |
| Altri autori: | Diller, Justus Müller, Gert H. |
| ISBN: | 9783540380207 |
| Formato: | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 991002181609707536 |
| Lo trovi qui: | Univ. del Salento |
| Localizzazioni e accesso elettronico | http://dx.doi.org/10.1007/BFb0079542 |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Mathematics, 0075-8434 ; 500
Fa parte di:
Springer eBooks