top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The Logical Structure of Mathematical Physics / Joseph D. Sneed
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The Logical Structure of Mathematical Physics / Joseph D. Sneed
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics / Alex Citkin, Ioannis M. Vandoulakis editors
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui