Samson Abramsky on Logic and Structure in Computer Science and Beyond 이 시리즈의 다른 책

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년
Leo Esakia on Duality in Modal and Intuitionistic Logics Leo Esakia on Duality in Modal and Intuitionistic Logics
Leo Esakia on Duality in Modal and Intuitionistic Logics
2014년
Johan van Benthem on Logic and Information Dynamics Johan van Benthem on Logic and Information Dynamics
Johan van Benthem on Logic and Information Dynamics
2014년
Petr Hájek on Mathematical Fuzzy Logic Petr Hájek on Mathematical Fuzzy Logic
Petr Hájek on Mathematical Fuzzy Logic
2014년
Dag Prawitz on Proofs and Meaning Dag Prawitz on Proofs and Meaning
Dag Prawitz on Proofs and Meaning
2014년
J. Michael Dunn on Information Based Logics J. Michael Dunn on Information Based Logics
J. Michael Dunn on Information Based Logics
2016년
Hilary Putnam on Logic and Mathematics Hilary Putnam on Logic and Mathematics
Hilary Putnam on Logic and Mathematics
2018년
Martin Davis on Computability, Computational Logic, and Mathematical Foundations Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
2017년
Rohit Parikh on Logic, Language and Society Rohit Parikh on Logic, Language and Society
Rohit Parikh on Logic, Language and Society
2017년