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.
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-VAN0044531 |
| Providence, Rhode Island, : American mathematical society, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Che cos'è la logica matematica? / John N. Crossley ... [et al.]
| Che cos'è la logica matematica? / John N. Crossley ... [et al.] |
| Pubbl/distr/stampa | Torino, : P. Boringhieri, 1985 |
| Descrizione fisica | 126 p. : ill. ; 19 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 978-88-339-0011-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0054665 |
| Torino, : P. Boringhieri, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Che cos'è la logica matematica? / John N. Crossley ... [et al.]
| Che cos'è la logica matematica? / John N. Crossley ... [et al.] |
| Edizione | [Torino : P. Boringhieri, 1985] |
| Pubbl/distr/stampa | 126 p., : ill. ; 19 cm |
| Descrizione fisica | Trad. di Teresa Pallucchini. |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 978-88-339-0011-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-SUN0054665 |
| 126 p., : ill. ; 19 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / edited by J. T. Baldwin
| Classification theory : Proceedings of the US-Israel workshop on model theory in mathematical logic, held in Chicago, Dec. 15-19, 1985 / edited by J. T. Baldwin |
| Pubbl/distr/stampa | Berlin, : Springer, 1987 |
| Descrizione fisica | 500 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Forcing
Mathematical logic Model theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0264110 |
| Berlin, : Springer, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Functors / J. N. Crossley, Anil Nerode
| Combinatorial Functors / J. N. Crossley, Anil Nerode |
| Autore | Crossley, John N. |
| Pubbl/distr/stampa | Berlin, : Springer, 1974 |
| Descrizione fisica | viii, 146 p. ; 24 cm |
| Altri autori (Persone) | Nerode, Anil <1932- > |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03D50 - Recursive equivalence types of sets and structures, isols [MSC 2020] 03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 18B05 - Categories of sets, characterizations [MSC 2020] |
| Soggetto non controllato |
Combinatorics
Equations Finite Functions Identity Logic Mathematics Model Model theory Morphism Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255990 |
Crossley, John N.
|
||
| Berlin, : Springer, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Complementarity in Mathematics : A First Introduction to the Foundations of Mathematics and Its History / Willem Kuyk
| Complementarity in Mathematics : A First Introduction to the Foundations of Mathematics and Its History / Willem Kuyk |
| Autore | Kuyk, Willem |
| Pubbl/distr/stampa | Dordrecht, : Springer, 1977 |
| Descrizione fisica | xi, 175 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 01A05 - General histories, source books [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Algebra
History of mathematics Mathematics Proposition Set Theory Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0266167 |
|
Kuyk, Willem
|
||
| Dordrecht, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Complexity of computations and proofs / edited by J. Krajicek
| Complexity of computations and proofs / edited by J. Krajicek |
| Pubbl/distr/stampa | Roma, : Aracne, 2003 |
| Descrizione fisica | 424 p. ; 22 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
| ISBN | 978-88-7999-413-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0062774 |
| Roma, : Aracne, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Complexity of computations and proofs / edited by J. Krajicek
| Complexity of computations and proofs / edited by J. Krajicek |
| Pubbl/distr/stampa | Roma, : Aracne, 2003 |
| Descrizione fisica | 424 p. ; 22 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
| ISBN | 978-88-7999-413-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0062774 |
| Roma, : Aracne, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability : computable functions, logic, and the foundations of mathematics, with Computability - a timeline / Richard Epstein, Walter Carnielli
| Computability : computable functions, logic, and the foundations of mathematics, with Computability - a timeline / Richard Epstein, Walter Carnielli |
| Autore | Epstein, Richard L. |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | Belmont ; London, : Wadsworth, 1999 |
| Descrizione fisica | 337 p. : ill. ; 24 cm. |
| Altri autori (Persone) | Carnielli, Walter A. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] |
| ISBN | 05-345-4644-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0023713 |
|
Epstein, Richard L.
|
||
| Belmont ; London, : Wadsworth, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability : computable functions, logic, and the foundations of mathematics, with Computability - a timeline / Richard Epstein, Walter Carnielli
| Computability : computable functions, logic, and the foundations of mathematics, with Computability - a timeline / Richard Epstein, Walter Carnielli |
| Autore | Epstein, Richard L. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Belmont ; London, : Wadsworth, 1999 |
| Descrizione fisica | 337 p. : ill. ; 24 cm |
| Altri autori (Persone) | Carnielli, Walter A. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] |
| ISBN | 05-345-4644-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0023713 |
|
Epstein, Richard L.
|
||
| Belmont ; London, : Wadsworth, 1999 | ||
| 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)