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.
Part 2.: Computation and Proof Theory / edited by Egon Börger ... [et al.]
| Part 2.: Computation and Proof Theory / edited by Egon Börger ... [et al.] |
| Pubbl/distr/stampa | Berlin, : Springer, 1984 |
| Descrizione fisica | x, 482 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Computation
Equations Equivalence Finite Mathematical logic Mathematics Proof Theory Proofs Recursion |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
ger
eng |
| Record Nr. | UNICAMPANIA-VAN0263395 |
| Berlin, : Springer, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Principles of Intuitionism : Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY / A. S. Troelstra
| Principles of Intuitionism : Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY / A. S. Troelstra |
| Autore | Troelstra, Anne S. |
| Pubbl/distr/stampa | Berlin, : Springer, 1969 |
| Descrizione fisica | 111 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Intuitionism Mathematics Ordinals Proof Theory Proofs Theorem Topology Well-ordering principles |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0254795 |
Troelstra, Anne S.
|
||
| Berlin, : Springer, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic / edited by M. H. Löb
| Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic / edited by M. H. Löb |
| Pubbl/distr/stampa | Berlin, : Springer, 1968 |
| Descrizione fisica | iv, 331 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Calculus Functions Logic Proof Theory Proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0254662 |
| Berlin, : Springer, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Proof Theory : An Introduction / Wolfram Pohlers
| Proof Theory : An Introduction / Wolfram Pohlers |
| Autore | Pohlers, Wolfram |
| Pubbl/distr/stampa | Berlin, : Springer, 1989 |
| Descrizione fisica | viii, 220 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F05 - Cut-elimination and normal-form theorems [MSC 2020] 03F15 - Recursive ordinals and ordinal notations [MSC 2020] |
| Soggetto non controllato |
Calculus
Number theory Proof Theory Proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0265950 |
|
Pohlers, Wolfram
|
||
| Berlin, : Springer, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||
Proof Theory and Intuitionistic Systems / Bruno Scarpellini
| Proof Theory and Intuitionistic Systems / Bruno Scarpellini |
| Autore | Scarpellini, Bruno |
| Pubbl/distr/stampa | Berlin, : Springer, 1971 |
| Descrizione fisica | vii, 290 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] 03F55 - Intuitionistic mathematics [MSC 2020] 03B55 - Intermediate logics [MSC 2020] |
| Soggetto non controllato |
Calculus
Finite Functions Proof Theory Proofs Transfinite induction Well-ordering principles |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255365 |
|
Scarpellini, Bruno
|
||
| Berlin, : Springer, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Proofs from THE BOOK / Martin Aigner, Günter M. Ziegler ; including illustrations by Karl H. Hofmann
| Proofs from THE BOOK / Martin Aigner, Günter M. Ziegler ; including illustrations by Karl H. Hofmann |
| Autore | Aigner, Martin |
| Edizione | [6. ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 2018 |
| Descrizione fisica | viii, 326 p. : ill. ; 24 cm |
| Altri autori (Persone) | Ziegler, Günter M. |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
26-XX - Real functions [MSC 2020] 51-XX - Geometry [MSC 2020] 52-XX - Convex and discrete geometry [MSC 2020] 05-XX - Combinatorics [MSC 2020] 00Axx - General and miscellaneous specific topics [MSC 2020] |
| Soggetto non controllato |
Algebra
Analysis Calculus Combinatorics Counting Finite geometry Number theory Proof Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124477 |
|
Aigner, Martin
|
||
| Berlin, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Proofs from THE BOOK / Martin Aigner, Günter M. Ziegler ; including illustrations by Karl H. Hofmann
| Proofs from THE BOOK / Martin Aigner, Günter M. Ziegler ; including illustrations by Karl H. Hofmann |
| Autore | Aigner, Martin |
| Edizione | [5. ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 2014 |
| Descrizione fisica | VIII, 308 p. : ill. ; 24 cm |
| Altri autori (Persone) | Ziegler, Günter M. |
| Soggetto topico | 00-XX - General and overarching topics; collections [MSC 2020] |
| Soggetto non controllato |
Algebra
Analysis Calculus Combinatorics Counting Finite Geometry Number theory Proof Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0104256 |
|
Aigner, Martin
|
||
| Berlin, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Self-Reference and Modal Logic / C. Smoryński
| Self-Reference and Modal Logic / C. Smoryński |
| Autore | Smoryński, Craig |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1985 |
| Descrizione fisica | xii, 333 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Addition
Algebra Arithmetic Calculation Logic Model theory Proof Theory Proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268811 |
|
Smoryński, Craig
|
||
| New York, : Springer-Verlag, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968 / edited by M. Laudet, ... [et al.]
| Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968 / edited by M. Laudet, ... [et al.] |
| Pubbl/distr/stampa | Berlin, : Springer, 1970 |
| Descrizione fisica | 310 p. ; 24 cm |
| Soggetto topico | 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Data processing
Mathematica Proof Theory Proofs Theorem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
eng
fre |
| Record Nr. | UNICAMPANIA-VAN0255185 |
| Berlin, : Springer, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
