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.
7: Logic and the modalities in the twentieth century / edited by Dov M. Gabbay and John Woods
| 7: Logic and the modalities in the twentieth century / edited by Dov M. Gabbay and John Woods |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 2006 |
| Descrizione fisica | XII, 719 p. ; 25 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01-XX - History and biography [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0092510 |
| Amsterdam, : Elsevier, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
7: Logic and the modalities in the twentieth century / edited by Dov M. Gabbay and John Woods
| 7: Logic and the modalities in the twentieth century / edited by Dov M. Gabbay and John Woods |
| Edizione | [Amsterdam : Elsevier, 2006] |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico | 03B45 - Modal logic (including the logic of norms) [MSC 2020] |
| ISBN | 8-0-444-51622-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0092510 |
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
|
Computability and logic / George S. Boolos, Richard C. Jeffrey
| Computability and logic / George S. Boolos, Richard C. Jeffrey |
| Autore | Boolos, George |
| Edizione | [3rd ed] |
| Pubbl/distr/stampa | New York, : Cambridge university, 1989 |
| Descrizione fisica | X, 304 p. ; 23 cm. |
| Altri autori (Persone) | Jeffrey, Richard C. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| ISBN |
05-213-8923-2
978-05-213-8923-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053087 |
Boolos, George
|
||
| New York, : Cambridge university, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability and logic / George S. Boolos, Richard C. Jeffrey
| Computability and logic / George S. Boolos, Richard C. Jeffrey |
| Autore | Boolos, George |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | New York, : Cambridge university, 1989 |
| Descrizione fisica | X, 304 p. ; 23 cm |
| Altri autori (Persone) | Jeffrey, Richard C. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| ISBN |
05-213-8923-2
978-05-213-8923-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053087 |
|
Boolos, George
|
||
| New York, : Cambridge university, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Hilary Putnam on Logic and Mathematics / Geoffrey Hellman, Roy T. Cook editors
| Hilary Putnam on Logic and Mathematics / Geoffrey Hellman, Roy T. Cook editors |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | x, 274 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Decidability
Diophantine Equations Foundations of mathematics Hilary Putnam Mathematical logic Modal Logic Model theory Number theory Quantum Logic Structuralism |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124755 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Hilary Putnam on Logic and Mathematics / Geoffrey Hellman, Roy T. Cook editors
| Hilary Putnam on Logic and Mathematics / Geoffrey Hellman, Roy T. Cook editors |
| Edizione | [Cham : Springer, 2018] |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124755 |
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
|
Inquisitive Logic : Consequence and Inference in the Realm of Questions / Ivano Ciardelli
| Inquisitive Logic : Consequence and Inference in the Realm of Questions / Ivano Ciardelli |
| Autore | Ciardelli, Ivano |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xx, 272 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B42 - Logics of knowledge and belief (including belief change) [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] |
| Soggetto non controllato |
Connections with dependence logic
Connections with intuitionistic logic Dependence Logic How classical logic can be made inquisitive Information Semantics Information Types Inquisitive Logic Intuitionistic Logic Logic of Dependency Logic of Questions Proofs-as-Programs Questions in first-order logic Questions in modal logic Questions in propositional logic Reasoning with questions Role of questions in logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0277663 |
|
Ciardelli, Ivano
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical concepts / Jürgen Jost
| Mathematical concepts / Jürgen Jost |
| Autore | Jost, Jürgen |
| Pubbl/distr/stampa | [Cham], : Springer, 2015 |
| Descrizione fisica | XV, 312 p. : ill. ; 24 cm |
| Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 18B25 - Topoi [MSC 2020] 00A06 - Mathematics for nonmathematicians (engineering, social sciences, etc.) [MSC 2020] 18Gxx - Homological algebra in category theory, derived categories and functors [MSC 2020] 92Bxx - Mathematical biology in general [MSC 2020] 00A05 - Mathematics in general [MSC 2020] 20C05 - Group rings of finite groups and their modules (group-theoretic aspects) [MSC 2020] 08Axx - Algebraic structures [MSC 2020] 54A05 - Topological spaces and generalizations (closure spaces, etc.) [MSC 2020] 53C21 - Methods of global Riemannian geometry, including PDE methods; curvature restrictions [MSC 2020] 14A15 - Schemes and morphisms [MSC 2020] 55Nxx - Homology and cohomology theories in algebraic topology [MSC 2020] 53B05 - Linear and affine connections [MSC 2020] 53B20 - Local Riemannian geometry [MSC 2020] 20B05 - General theory for finite permutation groups [MSC 2020] 55U10 - Simplicial sets and complexes in algebraic topology [MSC 2020] 58A05 - Differentiable manifolds, foundations [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 18Axx - General theory of categories and functors [MSC 2020] 01A65 - Contemporary [MSC 2020] 06Bxx - Lattices [MSC 2020] 51K10 - Synthetic differential geometry [MSC 2020] 20A05 - Axiomatics and elementary properties of groups [MSC 2020] 18Fxx - Categories in geometry and topology [MSC 2020] 55P10 - Homotopy equivalences in algebraic topology [MSC 2020] |
| Soggetto non controllato |
Algebraic structures
Category Theory Manifolds Modal Logic Presheave Riemannian geometry Schemes Simplicial Complexes Topological spaces Topos |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113670 |
|
Jost, Jürgen
|
||
| [Cham], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical concepts / Jürgen Jost
| Mathematical concepts / Jürgen Jost |
| Autore | Jost, Jürgen |
| Edizione | [[Cham] : Springer, 2015] |
| Pubbl/distr/stampa | XV, 312 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 18B25 - Topoi [MSC 2020] 00A06 - Mathematics for nonmathematicians (engineering, social sciences, etc.) [MSC 2020] 18Gxx - Homological algebra in category theory, derived categories and functors [MSC 2020] 92Bxx - Mathematical biology in general [MSC 2020] 00A05 - Mathematics in general [MSC 2020] 20C05 - Group rings of finite groups and their modules (group-theoretic aspects) [MSC 2020] 08Axx - Algebraic structures [MSC 2020] 54A05 - Topological spaces and generalizations (closure spaces, etc.) [MSC 2020] 53C21 - Methods of global Riemannian geometry, including PDE methods; curvature restrictions [MSC 2020] 14A15 - Schemes and morphisms [MSC 2020] 55Nxx - Homology and cohomology theories in algebraic topology [MSC 2020] 53B05 - Linear and affine connections [MSC 2020] 53B20 - Local Riemannian geometry [MSC 2020] 20B05 - General theory for finite permutation groups [MSC 2020] 55U10 - Simplicial sets and complexes in algebraic topology [MSC 2020] 58A05 - Differentiable manifolds, foundations [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 18Axx - General theory of categories and functors [MSC 2020] 01A65 - Contemporary [MSC 2020] 06Bxx - Lattices [MSC 2020] 51K10 - Synthetic differential geometry [MSC 2020] 20A05 - Axiomatics and elementary properties of groups [MSC 2020] 18Fxx - Categories in geometry and topology [MSC 2020] 55P10 - Homotopy equivalences in algebraic topology [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0113670 |
|
Jost, Jürgen
|
||
| XV, 312 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema
| Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema |
| Autore | Blackburn, Patrick |
| Pubbl/distr/stampa | Cambridge, : Cambridge University, 2001 |
| Descrizione fisica | XXII, 554 p. ; 23 cm. |
| Altri autori (Persone) |
Venema, Yde
De Rijke, Maarten |
| Soggetto topico | 03B45 - Modal logic (including the logic of norms) [MSC 2020] |
| ISBN |
8-0-521-52714-9
05-215-2714-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0052158 |
|
Blackburn, Patrick
|
||
| Cambridge, : Cambridge University, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
03B45 - Modal logic (including the logic of norms) [MSC 2020]
(20)
- 03-XX - Mathematical logic and foundations [MSC 2020] (15)
- 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] (6)
- 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] (5)
- 03F30 - First-order arithmetic and fragments [MSC 2020] (4)