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.
Cabal Seminar 77–79 : Proceedings, Caltech-UCLA Logic Seminar 1977–79 / edited by A. S. Kechris, D. A. Martin, Y. N. Moschovakis
| Cabal Seminar 77–79 : Proceedings, Caltech-UCLA Logic Seminar 1977–79 / edited by A. S. Kechris, D. A. Martin, Y. N. Moschovakis |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | v, 277 p. ; 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 |
Cardinals
Descriptive set theory Games Logic Ordinals Partition Recursive functions Sets Well-ordering principles |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261769 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Higher Set Theory : Proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Müller and D. S. Scott
| Higher Set Theory : Proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Müller and D. S. Scott |
| Pubbl/distr/stampa | Berlin, : Springer, 1978 |
| Descrizione fisica | x, 110 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Functions Ordinals Proofs Recursion Well-ordering principles |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260669 |
| Berlin, : Springer, 1978 | ||
| 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 | ||
| ||
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 | ||
| ||
Set-valued mappings, selections and topological properties of 2x : Proceedings of the conference held at the State University of New York at Buffalo May 8-10, 1969 / edited by W. M. Fleischman
| Set-valued mappings, selections and topological properties of 2x : Proceedings of the conference held at the State University of New York at Buffalo May 8-10, 1969 / edited by W. M. Fleischman |
| Pubbl/distr/stampa | Berlin, : Springer, 1970 |
| Descrizione fisica | xii, 116 p. ; 24 cm |
| Soggetto topico |
54-XX - General topology [MSC 2020]
54C60 - Set-valued maps in general topology [MSC 2020] |
| Soggetto non controllato |
Algebra
Algebraic Topology Functions Theorem Topology Well-ordering principles |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255158 |
| Berlin, : Springer, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||