top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
⊨ISILC proof theory symposion [electronic resource] : 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
⊨ISILC proof theory symposion [electronic resource] : 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
Pubbl/distr/stampa Berlin : Springer, 1975
Descrizione fisica 1 online resource (cd, 390 p.)
Disciplina 510
Altri autori (Persone) Diller, Justus
Müller, Gert H.
Collana Lecture Notes in Mathematics, 0075-8434 ; 500
Soggetto topico Mathematics
ISBN 9783540380207
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b14133933
Berlin : Springer, 1975
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...