2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier |
Autore | Cori, René |
Pubbl/distr/stampa | Oxford, : Oxford University, 2001 |
Descrizione fisica | XX, 331 p. : ill. ; 24 cm. |
Altri autori (Persone) | Lascar, Daniel |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
ISBN | 978-01-985005-0-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0021140 |
Cori, René | ||
Oxford, : Oxford University, 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier |
Autore | Cori, René |
Pubbl/distr/stampa | Oxford, : Oxford University, 2001 |
Descrizione fisica | XX, 331 p. : ill. ; 24 cm |
Altri autori (Persone) | Lascar, Daniel |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
ISBN | 978-01-985005-0-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0021140 |
Cori, René | ||
Oxford, : Oxford University, 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier |
Autore | Cori, René |
Pubbl/distr/stampa | Oxford, : Oxford University, 2001 |
Descrizione fisica | XX, 331 p. : ill. ; 24 cm |
Altri autori (Persone) | Lascar, Daniel |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] |
ISBN | 978-01-985005-0-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00021140 |
Cori, René | ||
Oxford, : Oxford University, 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Foundations of the Theory of Parthood : A Study of Mereology / Andrzej Pietruszczak ; Translated by Matthew Carmody |
Autore | Pietruszczak, Andrzej |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xxiii, 285 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Bounded axioms of mereological sum
Existentially neutral theories of parthood Foundations of Mereology Grzegorczyk lattices Grzegorczyk mereology Leśniewski mereology Mereological Sum Existence Axioms Mereological fusion Mereological sum Mereology Mereology and Boolean algebras Non-transitive theories of parthood Supplementation principles in mereology Transitivity of Parthood Weak Systems of Mereology |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249176 |
Pietruszczak, Andrzej | ||
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Foundations of the Theory of Parthood : A Study of Mereology / Andrzej Pietruszczak ; Translated by Matthew Carmody |
Autore | Pietruszczak, Andrzej |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xxiii, 285 p. : ill. ; 24 cm |
Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] |
Soggetto non controllato |
Bounded axioms of mereological sum
Existentially neutral theories of parthood Foundations of Mereology Grzegorczyk lattices Grzegorczyk mereology Leśniewski mereology Mereological Sum Existence Axioms Mereological fusion Mereological sum Mereology Mereology and Boolean algebras Non-transitive theories of parthood Supplementation principles in mereology Transitivity of Parthood Weak Systems of Mereology |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00249176 |
Pietruszczak, Andrzej | ||
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Infinitary Combinatorics and the Axiom of Determinateness / Eugene M. Kleinberg |
Autore | Kleinberg, Eugene M. |
Pubbl/distr/stampa | Berlin, : Springer, 1977 |
Descrizione fisica | v, 150 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
05A17 - Combinatorial aspects of partitions of integers [MSC 2020] 03E55 - Large cardinals [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03E05 - Other combinatorial set theory [MSC 2020] |
Soggetto non controllato |
Cardinal numbers
Certainty axiom Combinatorics Partition |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0260380 |
Kleinberg, Eugene M. | ||
Berlin, : Springer, 1977 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Infinitary Combinatorics and the Axiom of Determinateness / Eugene M. Kleinberg |
Autore | Kleinberg, Eugene M. |
Pubbl/distr/stampa | Berlin, : Springer, 1977 |
Descrizione fisica | v, 150 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E05 - Other combinatorial set theory [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03E55 - Large cardinals [MSC 2020] 05A17 - Combinatorial aspects of partitions of integers [MSC 2020] |
Soggetto non controllato |
Cardinal numbers
Certainty axiom Combinatorics Partition |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00260380 |
Kleinberg, Eugene M. | ||
Berlin, : Springer, 1977 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák |
Autore | Pudlák, Pavel |
Pubbl/distr/stampa | Cham, : Springer, 2013 |
Descrizione fisica | xiv, 695 p. : ill. ; 24 cm |
Soggetto topico |
03F20 - Complexity of proofs [MSC 2020]
03E35 - Consistency and independence results [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] |
Soggetto non controllato |
Algorithm analysis and problem complexity
Algorithmic complexity Complexity of Proofs Computational complexity Foundations of mathematics Incompleteness theorems Mathematical logic Set-Theoretical Foundations |
ISBN | 978-33-19-00118-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0273604 |
Pudlák, Pavel | ||
Cham, : Springer, 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák |
Autore | Pudlák, Pavel |
Pubbl/distr/stampa | Cham, : Springer, 2013 |
Descrizione fisica | xiv, 695 p. : ill. ; 24 cm |
Soggetto topico |
03D15 - Complexity of computation [MSC 2020]
03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03E35 - Consistency and independence results [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03F20 - Complexity of proofs [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] |
Soggetto non controllato |
Algorithm analysis and problem complexity
Algorithmic complexity Complexity of Proofs Computational complexity Foundations of mathematics Incompleteness theorems Mathematical logic Set-Theoretical Foundations |
ISBN | 978-33-19-00118-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00273604 |
Pudlák, Pavel | ||
Cham, : Springer, 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton |
Autore | Lightstone, Albert H. |
Pubbl/distr/stampa | New York, : Plenum, 1978 |
Descrizione fisica | xiii, 338 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020] 03B05 - Classical propositional logic [MSC 2020] 03Cxx - Model theory [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
Soggetto non controllato |
Calculus
Forms Language Logic Mathematica Mathematical logic Natural Proofs Proposition Set Theory Variables |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268201 |
Lightstone, Albert H. | ||
New York, : Plenum, 1978 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|