Mathematical logic / Joseph R. Shoenfield |
Autore | Shoenfield, Joseph R. |
Pubbl/distr/stampa | Urbana, Ill., : Association for Symbolic Logic, 1967 |
Descrizione fisica | VII, 344 p. ; 23 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
ISBN | 978-15-688-1135-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00050877 |
Shoenfield, Joseph R.
![]() |
||
Urbana, Ill., : Association for Symbolic Logic, 1967 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical logic for computer science / Mordechai Ben-Ari |
Autore | Ben Ari, Mordechai |
Edizione | [2. ed] |
Pubbl/distr/stampa | London, : Springer, 2001 |
Descrizione fisica | XIV, 304 p. : ill. ; 24 cm. |
Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
03Bxx - General logic [MSC 2020] |
ISBN | 978-18-523-3319-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0045008 |
Ben Ari, Mordechai
![]() |
||
London, : Springer, 2001 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical logic for computer science / Mordechai Ben-Ari |
Autore | Ben Ari, Mordechai |
Edizione | [2. ed] |
Pubbl/distr/stampa | London, : Springer, 2001 |
Descrizione fisica | XIV, 304 p. : ill. ; 24 cm |
Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
03Bxx - General logic [MSC 2020] |
ISBN | 978-18-523-3319-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0045008 |
Ben Ari, Mordechai
![]() |
||
London, : Springer, 2001 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical logic for computer science / Mordechai Ben-Ari |
Autore | Ben Ari, Mordechai |
Edizione | [2. ed] |
Pubbl/distr/stampa | London, : Springer, 2001 |
Descrizione fisica | XIV, 304 p. : ill. ; 24 cm |
Soggetto topico |
03Bxx - General logic [MSC 2020]
68Qxx - Theory of computing [MSC 2020] |
ISBN | 978-18-523-3319-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00045008 |
Ben Ari, Mordechai
![]() |
||
London, : Springer, 2001 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors |
Pubbl/distr/stampa | Cham, : Springer, 2021 |
Descrizione fisica | xviii, 483 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B30 - Festschriften [MSC 2020] 03Bxx - General logic [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Arabic Logic
Arabic Philosophy of Mathematics Avicenna on Deductions from Contradictory Premises Basic Logic Binary Modal Companions for Subintuitionistic Logics Bounded Distributive Lattices with Two Subordinations Constructive logic Constructive mathematics Intuitionism to Many-Valued Logics through Kripke Models Intuitionistic Logic Intuitionistic Logic of Language Intuitionistic Philosophy of Mathematics Mohammad Ardeshir Non-Conditional Contracting Connectives Residuated Expansions of Lattice-Ordered Structures Struggle between Syntax and Semantics in Mathematics Substructural Logic Termination Condition of Gossip Protocols Unification in basic logic |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0274944 |
Cham, : Springer, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematics, Logic, and their Philosophies : Essays in Honour of Mohammad Ardeshir / Mojtaba Mojtahedi, Shahid Rahman, Mohammad Saleh Zarepour editors |
Pubbl/distr/stampa | Cham, : Springer, 2021 |
Descrizione fisica | xviii, 483 p. : ill. ; 24 cm |
Soggetto topico |
00B30 - Festschriften [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 |
Arabic Logic
Arabic Philosophy of Mathematics Avicenna on Deductions from Contradictory Premises Basic Logic Binary Modal Companions for Subintuitionistic Logics Bounded Distributive Lattices with Two Subordinations Constructive logic Constructive mathematics Intuitionism to Many-Valued Logics through Kripke Models Intuitionistic Logic Intuitionistic Logic of Language Intuitionistic Philosophy of Mathematics Mohammad Ardeshir Non-Conditional Contracting Connectives Residuated Expansions of Lattice-Ordered Structures Struggle between Syntax and Semantics in Mathematics Substructural Logic Termination Condition of Gossip Protocols Unification in basic logic |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00274944 |
Cham, : Springer, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry / Thomas Macaulay Ferguson |
Autore | Ferguson, Thomas M. |
Pubbl/distr/stampa | Cham, : Springer, 2017 |
Descrizione fisica | xiii, 198 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 03Bxx - General logic [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Alternative Interpretations of Disjunction
Computational interpretations of logic Conceptivist Theories of Entailment Constructive nonsense logics Containment Logic Failure of disjunctive addition Faulty Belnap computers Infectiousness of nonsense Kit Fine’s truth Maker semantics Meaningfulness and Logic Positivism, inference, and category mistakes Relevant Entailment Richard Angell on analytic containment Rivals to Relevant Logics William Parry computer science William Parry mathematics William Parry mereology William Parry philosophy William T. Parry on Analytic Implication |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124292 |
Ferguson, Thomas M.
![]() |
||
Cham, : Springer, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry / Thomas Macaulay Ferguson |
Autore | Ferguson, Thomas M. |
Pubbl/distr/stampa | Cham, : Springer, 2017 |
Descrizione fisica | xiii, 198 p. : ill. ; 24 cm |
Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] 03Bxx - General logic [MSC 2020] |
Soggetto non controllato |
Alternative Interpretations of Disjunction
Computational interpretations of logic Conceptivist Theories of Entailment Constructive nonsense logics Containment Logic Failure of disjunctive addition Faulty Belnap computers Infectiousness of nonsense Kit Fine’s truth Maker semantics Meaningfulness and Logic Positivism, inference, and category mistakes Relevant Entailment Richard Angell on analytic containment Rivals to Relevant Logics William Parry computer science William Parry mathematics William Parry mereology William Parry philosophy William T. Parry on Analytic Implication |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00124292 |
Ferguson, Thomas M.
![]() |
||
Cham, : Springer, 2017 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry / Thomas Macaulay Ferguson |
Autore | Ferguson, Thomas Macaulay |
Edizione | [Cham : Springer, 2017] |
Pubbl/distr/stampa | xiii, 198 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 03Bxx - General logic [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-SUN0124292 |
Ferguson, Thomas Macaulay
![]() |
||
xiii, 198 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mechanizing hypothesis formation : Mathematical Foundations for a General Theory / Petr Hájek, Tomáš Havránek |
Autore | Hájek, Petr |
Pubbl/distr/stampa | Berlin, : Springer, 1978 |
Descrizione fisica | xvi, 398 p. ; 24 cm |
Altri autori (Persone) | Havránek, Tomáš |
Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 68T10 - Pattern recognition, speech recognition [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] 62-XX - Statistics [MSC 2020] 03Bxx - General logic [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 62A01 - Foundations and philosophical topics in statistics [MSC 2020] |
Soggetto non controllato |
Artificial Intelligence
Functions Intelligence Mathematical logic Optimization formation |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0260854 |
Hájek, Petr
![]() |
||
Berlin, : Springer, 1978 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|