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.
Beweistheorie / von Kurt Schutte
| Beweistheorie / von Kurt Schutte |
| Autore | Schütte, Kurt |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1960 |
| Descrizione fisica | X, 355 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-990001058400403321 |
Schütte, Kurt
|
||
| Berlin [etc.] : Springer-Verlag, 1960 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Contributions to Mathematical Logic / by Schmidt Arnold ; Schutte ; Thiele
| Contributions to Mathematical Logic / by Schmidt Arnold ; Schutte ; Thiele |
| Autore | Schmidt, Hermann Arnold |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1968 |
| Descrizione fisica | Studies in logic and the foundations of mat hematics |
| Altri autori (Persone) | Thiele, Helmut J. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001281730403321 |
|
Schmidt, Hermann Arnold
|
||
| Amsterdam : North-Holland, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ISILC proof theory symposion : 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 J. Diller and G.H. Müller ... [et al.]
| ISILC proof theory symposion : 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 J. Diller and G.H. Müller ... [et al.] |
| Autore | ISILC proof theory symposion : <1974 |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | VI, 383 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Lecture notes in mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 3-540-07533-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000984430403321 |
|
ISILC proof theory symposion : <1974
|
||
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nvollstandige systeme modalre und intuitionistischer logik / di SCHUTTE KURT
| Nvollstandige systeme modalre und intuitionistischer logik / di SCHUTTE KURT |
| Autore | Schütte, Kurt |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1968 |
| Collana | Ergebnisse der Mathematik und ihrer Grenzgebiete |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001194250403321 |
|
Schütte, Kurt
|
||
| Berlin : Springer-Verlag, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proof Theory / Kurt Schutte ; translation from the German by J.N. Crossley
| Proof Theory / Kurt Schutte ; translation from the German by J.N. Crossley |
| Autore | Schütte, Kurt |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1977 |
| Descrizione fisica | xii, 299 p. ; 25 cm |
| Disciplina | 160 |
| Collana | Die Grundlehren der mathematischen Wissenschaften |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 3-540-07911-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001058410403321 |
|
Schütte, Kurt
|
||
| Berlin [etc.] : Springer-Verlag, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proof Theory / Kurt Schütte ; Translation from the German by J. N. Crossley
| Proof Theory / Kurt Schütte ; Translation from the German by J. N. Crossley |
| Autore | Schütte, Kurt |
| Pubbl/distr/stampa | Berlin, : Springer, 1977 |
| Descrizione fisica | xii, 302 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Calculation
Finite Functions Ordinals Predicate logic Proof Theory Proofs Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0260483 |
|
Schütte, Kurt
|
||
| Berlin, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Vollstandige Systeme modaler und intuitionistischer Logik / Kurt Schutte
| Vollstandige Systeme modaler und intuitionistischer Logik / Kurt Schutte |
| Autore | Schütte, Kurt |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1968 |
| Descrizione fisica | VI, 87 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Ergebnisse der Mathematik und ihrer Grenzgebiete |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNINA-990001058420403321 |
|
Schütte, Kurt
|
||
| Berlin [etc.] : Springer-Verlag, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||