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.
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
| Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek |
| Autore | Krajicek, Jan |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1995 |
| Descrizione fisica | XIV, 343 p. : ill. ; 24 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D15 - Complexity of computation [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] |
| ISBN |
05-214-5205-8
978-05-214-5205-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053035 |
Krajicek, Jan
|
||
| Cambridge, : Cambridge university, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek
| Bounded arithmetic, propositional logic and complexity theory / Jan Krajícek |
| Autore | Krajicek, Jan |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1995 |
| Descrizione fisica | XIV, 343 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D15 - Complexity of computation [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] |
| ISBN |
05-214-5205-8
978-05-214-5205-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053035 |
|
Krajicek, Jan
|
||
| Cambridge, : Cambridge university, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cabal Seminar 76–77 : Proceedings, Caltech-UCLA Logic Seminar 1976–77 / edited by Alexander S. Kechris and Yiannis N. Moschovakis
| Cabal Seminar 76–77 : Proceedings, Caltech-UCLA Logic Seminar 1976–77 / edited by Alexander S. Kechris and Yiannis N. Moschovakis |
| Pubbl/distr/stampa | Berlin, : Springer, 1978 |
| Descrizione fisica | v, 287 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 |
Descriptive set theory
Functions Ordinals Recursion Recursive functions Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260538 |
| Berlin, : Springer, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||
Cabal Seminar 81-85 : Proceedings. Caltech-UCLA Logic Seminar 1981-85 / edited by Alexander S. Kechris, Donald A. Martin, John R. Steel
| Cabal Seminar 81-85 : Proceedings. Caltech-UCLA Logic Seminar 1981-85 / edited by Alexander S. Kechris, Donald A. Martin, John R. Steel |
| Pubbl/distr/stampa | Berlin, : Springer, 1988 |
| Descrizione fisica | v, 224 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 |
Boundary Element Methods
Coding Forms Functions Games Logic Ordinals Set Theory Sets Uniformization Volume |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0264378 |
| Berlin, : Springer, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cambridge Summer School in Mathematical Logic : Held in Cambridge,England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers
| Cambridge Summer School in Mathematical Logic : Held in Cambridge,England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers |
| Pubbl/distr/stampa | Berlin, : Springer, 1973 |
| Descrizione fisica | ix, 660 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Logic
Mathematical logic Model theory Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255804 |
| Berlin, : Springer, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato
| Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato |
| Autore | von Plato, Jan |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | ix, 263 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
| Soggetto non controllato |
Completeness problem
German mathematicians Gödel incompleteness theorem Gödel lectures Gödel notes Incompleteness theorems Principia Mathematica Skolem's paradox |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0248756 |
|
von Plato, Jan
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Categorie nella pratica matematica / Saunders Mac Lane
| Categorie nella pratica matematica / Saunders Mac Lane |
| Autore | Mac Lane, Saunders |
| Pubbl/distr/stampa | Torino, : Boringhieri, c1977 |
| Descrizione fisica | 322 p. ; 21 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A05 - Mathematics in general [MSC 2020] |
| ISBN | 978-88-339-5267-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0054461 |
|
Mac Lane, Saunders
|
||
| Torino, : Boringhieri, c1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Categorie nella pratica matematica / Saunders Mac Lane
| Categorie nella pratica matematica / Saunders Mac Lane |
| Autore | Mac Lane, Saunders |
| Edizione | [Torino : Boringhieri, c1977] |
| Descrizione fisica | Tit. orig.: Categories for the working mathematician |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A05 - Mathematics in general [MSC 2020] |
| ISBN | 978-88-339-5267-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-SUN0054461 |
|
Mac Lane, Saunders
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM joint summer research conference held June 14-20, 1987 with support from the National science foundation / John W. Gray and Andre Scedrov, editors
| Categories in computer science and logic : proceedings of the AMS-IMS-SIAM joint summer research conference held June 14-20, 1987 with support from the National science foundation / John W. Gray and Andre Scedrov, editors |
| Pubbl/distr/stampa | Providence, Rhode Island, : American mathematical society, 1989 |
| Descrizione fisica | X, 382 p. : ill. ; 26 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 18Dxx - Categorical structures [MSC 2020] |
| ISBN | 08-218-5100-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0044531 |
| Providence, Rhode Island, : American mathematical society, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
03-XX - Mathematical logic and foundations [MSC 2020]
(543)
- 03Exx - Set theory [MSC 2020] (59)
- 03Cxx - Model theory [MSC 2020] (28)
- 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] (25)
- 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] (24)