Leo Esakia on Duality in Modal and Intuitionistic Logics 비슷한 책 더 보기

Proof Theory and Algebra in Logic Proof Theory and Algebra in Logic
Proof Theory and Algebra in Logic
2019년
Philosophical Logic: Current Trends in Asia Philosophical Logic: Current Trends in Asia
Philosophical Logic: Current Trends in Asia
2017년
Constructive Negations and Paraconsistency Constructive Negations and Paraconsistency
Constructive Negations and Paraconsistency
2008년
Handbook of Philosophical Logic Handbook of Philosophical Logic
Handbook of Philosophical Logic
2006년
Modality, Semantics and Interpretations Modality, Semantics and Interpretations
Modality, Semantics and Interpretations
2015년
Goguen Categories Goguen Categories
Goguen Categories
2007년
Contradictions, from Consistency to Inconsistency Contradictions, from Consistency to Inconsistency
Contradictions, from Consistency to Inconsistency
2018년
Paraconsistent Logic: Consistency, Contradiction and Negation Paraconsistent Logic: Consistency, Contradiction and Negation
Paraconsistent Logic: Consistency, Contradiction and Negation
2016년
One Hundred Years of Axiomatic Set Theory One Hundred Years of Axiomatic Set Theory
One Hundred Years of Axiomatic Set Theory
2012년
Proof, Computation and Agency Proof, Computation and Agency
Proof, Computation and Agency
2011년
Advances in Natural Deduction Advances in Natural Deduction
Advances in Natural Deduction
2014년
Mathesis Universalis, Computability and Proof Mathesis Universalis, Computability and Proof
Mathesis Universalis, Computability and Proof
2019년
A Geometry of Approximation A Geometry of Approximation
A Geometry of Approximation
2008년
Hybrid Logic and its Proof-Theory Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
2010년
Natural Deduction, Hybrid Systems and Modal Logics Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
2010년