Martin Davis on Computability, Computational Logic, and Mathematical Foundations 이 시리즈의 다른 책

Rohit Parikh on Logic, Language and Society Rohit Parikh on Logic, Language and Society
Rohit Parikh on Logic, Language and Society
2017년
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
2018년
Feferman on Foundations Feferman on Foundations
Feferman on Foundations
2018년
Raymond Smullyan on Self Reference Raymond Smullyan on Self Reference
Raymond Smullyan on Self Reference
2018년
Ewa Orłowska on Relational Methods in Logic and Computer Science Ewa Orłowska on Relational Methods in Logic and Computer Science
Ewa Orłowska on Relational Methods in Logic and Computer Science
2018년
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
2021년
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
2022년
Samson Abramsky on Logic and Structure in Computer Science and Beyond Samson Abramsky on Logic and Structure in Computer Science and Beyond
Samson Abramsky on Logic and Structure in Computer Science and Beyond
2023년
Kit Fine on Truthmakers, Relevance, and Non-classical Logic Kit Fine on Truthmakers, Relevance, and Non-classical Logic
Kit Fine on Truthmakers, Relevance, and Non-classical Logic
2023년
Janusz Czelakowski on Logical Consequence Janusz Czelakowski on Logical Consequence
Janusz Czelakowski on Logical Consequence
2024년
Dick de Jongh on Intuitionistic and Provability Logics Dick de Jongh on Intuitionistic and Provability Logics
Dick de Jongh on Intuitionistic and Provability Logics
2024년
The Philosophy of Penelope Maddy The Philosophy of Penelope Maddy
The Philosophy of Penelope Maddy
2024년
Krister Segerberg on Logic of Actions Krister Segerberg on Logic of Actions
Krister Segerberg on Logic of Actions
2013년
Nuel Belnap on Indeterminism and Free Action Nuel Belnap on Indeterminism and Free Action
Nuel Belnap on Indeterminism and Free Action
2014년
David Makinson on Classical Methods for Non-Classical Problems David Makinson on Classical Methods for Non-Classical Problems
David Makinson on Classical Methods for Non-Classical Problems
2013년