Ewa Orłowska on Relational Methods in Logic and Computer Science More Books Like This

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