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.
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 | Schutte, Kurt |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1977 |
| Descrizione fisica | XII, 302 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Grundlehren der mathematischen Wissenschaften |
| Soggetto topico | Teoria della dimostrazione |
| ISBN | 3-540-07911-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000015504 |
Schutte, Kurt
|
||
| Berlin [etc.] : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Proof theory / Kurt Schutte ; transl. by J. N. Crossley
| Proof theory / Kurt Schutte ; transl. by J. N. Crossley |
| Autore | Schutte, Kurt |
| Edizione | [1st ed. 1960] |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1977 |
| Descrizione fisica | xii, 302 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Crossley, John N. |
| Collana | Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 225 |
| Soggetto topico | Proof theory |
| ISBN | 3540079114 |
| Classificazione | AMS 03F |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001269149707536 |
|
Schutte, Kurt
|
||
| Berlin : Springer-Verlag, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Vollstandige systeme modaler und intuitionistischer logik / Kurt Schutte
| Vollstandige systeme modaler und intuitionistischer logik / Kurt Schutte |
| Autore | Schutte, Kurt |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1968 |
| Descrizione fisica | VI, 87 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Ergebnisse der Mathematik und ihrer Grenzgebiete |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNIBAS-000015602 |
|
Schutte, Kurt
|
||
| Berlin [etc.] : Springer, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Vollstandige Systeme modaler und intuitionistischer Logik / Kurt Schutte
| Vollstandige Systeme modaler und intuitionistischer Logik / Kurt Schutte |
| Autore | Schutte, Kurt |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1968 |
| Descrizione fisica | vi, 87 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana |
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ; 42
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 0071-1136 ; 42 = A series of modern surveys in mathematics, 0071-1136 ; 42 |
| Soggetto topico | Mathematical logic |
| Classificazione | AMS 03-02 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISALENTO-991001479589707536 |
|
Schutte, Kurt
|
||
| Berlin : Springer-Verlag, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
⊨ISILC proof theory symposion : 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
| ⊨ISILC proof theory symposion : 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 ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | viii, 383 p. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Schutte, Kurt
Diller, Justus Muller, Gert H. |
| Altri autori (Convegni) | International Summer Institute and Logic Colloquium <1974 ; Kiel> |
| Collana | Lecture notes in mathematics, 0075-8434 ; 500 |
| Soggetto topico |
Mathematical logic - Congresses
Proof theory - Congresses Schutte, Kurt-bibliography |
| ISBN | 354007533X |
| Classificazione |
AMS 03-06
AMS 03F |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001044929707536 |
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||