Ewa Orłowska on Relational Methods in Logic and Computer Science 비슷한 책 더 보기

Constructivity and Computability in Historical and Philosophical Perspective Constructivity and Computability in Historical and Philosophical Perspective
Constructivity and Computability in Historical and Philosophical Perspective
2014년
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년
Epistemology versus Ontology Epistemology versus Ontology
Epistemology versus Ontology
2012년
Natural Deduction, Hybrid Systems and Modal Logics Natural Deduction, Hybrid Systems and Modal Logics
Natural Deduction, Hybrid Systems and Modal Logics
2010년
Games, Norms and Reasons Games, Norms and Reasons
Games, Norms and Reasons
2011년
Knowledge, Proof and Dynamics Knowledge, Proof and Dynamics
Knowledge, Proof and Dynamics
2020년
Hybrid Logic and its Proof-Theory Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
2010년
Contradictions, from Consistency to Inconsistency Contradictions, from Consistency to Inconsistency
Contradictions, from Consistency to Inconsistency
2018년
Handbook of Philosophical Logic Handbook of Philosophical Logic
Handbook of Philosophical Logic
2006년
Handbook of Philosophical Logic Handbook of Philosophical Logic
Handbook of Philosophical Logic
2006년
Dynamic Tractable Reasoning Dynamic Tractable Reasoning
Dynamic Tractable Reasoning
2020년
Meaning and Proscription in Formal Logic Meaning and Proscription in Formal Logic
Meaning and Proscription in Formal Logic
2017년
Truth and Falsehood Truth and Falsehood
Truth and Falsehood
2011년