The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich |
Autore | Börger, Egon |
Pubbl/distr/stampa | Berlin, : Springer, 1997 |
Descrizione fisica | XII, 482 p : ill ; 24 cm |
Altri autori (Persone) |
Grädel, Erich
Gurevich, Yuri |
Soggetto topico |
03Bxx - General logic [MSC 2020]
03Cxx - Model theory [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 68Qxx - Theory of computing [MSC 2020] |
ISBN |
03-87570-73-X
978-35-405-7073-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00053137 |
Börger, Egon
![]() |
||
Berlin, : Springer, 1997 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Logical Structure of Mathematical Physics / Joseph D. Sneed |
Autore | Sneed, Joseph D. |
Pubbl/distr/stampa | Dordrecht, : D. Reidel, 1971 |
Descrizione fisica | xvi, 312 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A79 (77-XX) - Physics [MSC 2020] 03Bxx - General logic [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato | Mathematical physics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0266076 |
Sneed, Joseph D.
![]() |
||
Dordrecht, : D. Reidel, 1971 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Logical Structure of Mathematical Physics / Joseph D. Sneed |
Autore | Sneed, Joseph D. |
Pubbl/distr/stampa | Dordrecht, : D. Reidel, 1971 |
Descrizione fisica | xvi, 312 p. : ill. ; 24 cm |
Soggetto topico |
00A79 (77-XX) - Physics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03Bxx - General logic [MSC 2020] |
Soggetto non controllato | Mathematical physics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00266076 |
Sneed, Joseph D.
![]() |
||
Dordrecht, : D. Reidel, 1971 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics / Alex Citkin, Ioannis M. Vandoulakis editors |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | xi, 313 p. : ill. ; 24 cm |
Soggetto topico |
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03Bxx - General logic [MSC 2020] 03G25 - Other algebras related to logic [MSC 2020] |
Soggetto non controllato |
Adding Constants to FDE-based Logics
Canonical Models and Yankov Formulas Characteristic Formula Constructive Proofs based on Dialogical Interpretatio Frame and Subframe Formula Greek Philosophy and Mathematics Heyting algebras Intuitionistic Logic Invariance Modality Lattice NExtS4 as a Puzzle Composed of NExtInt-Pieces Lattice of Superintuitionistic Propositional Logics Markov’s Constructivism Modal Canonical Formulas Modal Logic Pretabular Intermediate Logics Propositional logic Splitting Algebra Ultra-intuitionism Yankov Characteristic Formulas |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00278240 |
Cham, : Springer, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|