Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors |
Pubbl/distr/stampa | [Basel], : Birkhäuser, : Springer, 2016 |
Descrizione fisica | XII, 425 p. : ill. ; 24 cm |
Soggetto topico |
03F50 - Metamathematics of constructive systems [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] 03F15 - Recursive ordinals and ordinal notations [MSC 2020] 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
Soggetto non controllato |
Constructive mathematics
Ordinal Analysis Proof Theory Proof search Type theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0114364 |
[Basel], : Birkhäuser, : Springer, 2016 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer editors |
Edizione | [[Basel] : Birkhäuser : Springer, 2016] |
Pubbl/distr/stampa | XII, 425 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
03F50 - Metamathematics of constructive systems [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03F05 - Cut-elimination and normal-form theorems [MSC 2020] 68V15 - Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) [MSC 2020] 03F15 - Recursive ordinals and ordinal notations [MSC 2020] 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] 03B35 - Mechanization of proofs and logical operations [MSC 2020] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0114364 |
XII, 425 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Modern algebra and the rise of mathematical structures / Leo Corry |
Autore | Corry, Leo |
Edizione | [2. revised ed] |
Pubbl/distr/stampa | Basel, : Birkhäuser, 2004 |
Descrizione fisica | 451 p. ; 24 cm. |
Soggetto topico |
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 08-XX - General algebraic systems [MSC 2020] |
ISBN | 37-643-7002-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0057249 |
Corry, Leo
![]() |
||
Basel, : Birkhäuser, 2004 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Modern algebra and the rise of mathematical structures / Leo Corry |
Autore | Corry, Leo |
Edizione | [2. revised ed] |
Pubbl/distr/stampa | Basel, : Birkhäuser, 2004 |
Descrizione fisica | 451 p. ; 24 cm |
Soggetto topico |
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 08-XX - General algebraic systems [MSC 2020] |
ISBN | 37-643-7002-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0057249 |
Corry, Leo
![]() |
||
Basel, : Birkhäuser, 2004 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Self-Reference and Modal Logic / C. Smoryński |
Autore | Smoryński, Craig |
Pubbl/distr/stampa | New York, : Springer-Verlag, 1985 |
Descrizione fisica | xii, 333 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Addition
Algebra Arithmetic Calculation Logic Model theory Proof Theory Proofs |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268811 |
Smoryński, Craig
![]() |
||
New York, : Springer-Verlag, 1985 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Sphere packings, lattices and groups / J. H. Conway, N. J. A. Sloane ; with additional contributions by E. Bannai ... [et al.] |
Autore | Conway, John Horton |
Edizione | [3. ed] |
Pubbl/distr/stampa | New York, : Springer, 1999 |
Descrizione fisica | LIX, 703 p. ; 24 cm. |
Altri autori (Persone) | Sloane, Neil James Alexander |
Soggetto topico |
11-XX - Number theory [MSC 2020]
52-XX - Convex and discrete geometry [MSC 2020] 05-XX - Combinatorics [MSC 2020] 03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 05B05 - Combinatorial aspects of block designs [MSC 2020] 11F27 - Theta series; Weil representation; theta correspondences [MSC 2020] 11H06 - Lattices and convex bodies (number-theoretic aspects) [MSC 2020] 94Bxx - Theory of error-correcting codes and error-detecting codes [MSC 2020] 52C17 - Packing and covering in $n$ dimensions (aspects of discrete geometry) [MSC 2020] 05B40 - Combinatorial aspects of packing and covering [MSC 2020] 52C07 - Lattices and convex bodies in $n$ dimensions (aspects of discrete geometry) [MSC 2020] 20D08 - Simple groups: sporadic groups [MSC 2020] |
ISBN | 03-87985-85-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0019540 |
Conway, John Horton
![]() |
||
New York, : Springer, 1999 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Sphere packings, lattices and groups / J. H. Conway, N. J. A. Sloane ; with additional contributions by E. Bannai ... [et al.] |
Autore | Conway, John Horton |
Edizione | [3. ed] |
Pubbl/distr/stampa | New York, : Springer, 1999 |
Descrizione fisica | LIX, 703 p. ; 24 cm |
Altri autori (Persone) | Sloane, Neil James Alexander |
Soggetto topico |
11-XX - Number theory [MSC 2020]
52-XX - Convex and discrete geometry [MSC 2020] 05-XX - Combinatorics [MSC 2020] 03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 05B05 - Combinatorial aspects of block designs [MSC 2020] 11F27 - Theta series; Weil representation; theta correspondences [MSC 2020] 11H06 - Lattices and convex bodies (number-theoretic aspects) [MSC 2020] 94Bxx - Theory of error-correcting codes and error-detecting codes [MSC 2020] 52C17 - Packing and covering in $n$ dimensions (aspects of discrete geometry) [MSC 2020] 05B40 - Combinatorial aspects of packing and covering [MSC 2020] 52C07 - Lattices and convex bodies in $n$ dimensions (aspects of discrete geometry) [MSC 2020] 20D08 - Simple groups: sporadic groups [MSC 2020] |
ISBN | 03-87985-85-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0019540 |
Conway, John Horton
![]() |
||
New York, : Springer, 1999 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics / Elena Anne Corie Marchisotto, Francisco Rodríguez-Consuegra, James T. Smith |
Autore | Marchisotto, Elena Anne Corie |
Pubbl/distr/stampa | New York, : Birkhäuser, : Springer, 2021 |
Descrizione fisica | xxiv, 603 p. : ill. ; 24 cm |
Altri autori (Persone) |
Rodríguez-Consuegra, Francisco
Smith, James T. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 51-XX - Geometry [MSC 2020] 03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 00A30 - Philosophy of mathematics [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 01A55 - History of mathematics in the 19th century [MSC 2020] |
Soggetto non controllato |
Axiomatic geometry
Axiomatic method geometry Descriptive geometry Elementary geometry GKC von Staudt Geometry axiomatic systems Geometry history Homography geometry Hypothetical deductive systems Italy mathematics history Logicism mathematics Projective geometry Transformational geometry |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0275535 |
Marchisotto, Elena Anne Corie
![]() |
||
New York, : Birkhäuser, : Springer, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|