Mathesis Universalis, Computability and Proof المزيد من الكتب المشابهة
Epistemology versus Ontology
٢٠١٢
Contradictions, from Consistency to Inconsistency
٢٠١٨
Deduction, Computation, Experiment
٢٠٠٨
Handbook of Philosophical Logic
٢٠٠٦
Constructivity and Computability in Historical and Philosophical Perspective
٢٠١٤
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
٢٠٢٢
Handbook of Philosophical Logic
٢٠٠٦
From Logic to Practice
٢٠١٤
Advances in Natural Deduction
٢٠١٤
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
٢٠١٧
J. Michael Dunn on Information Based Logics
٢٠١٦
Logic, Mathematics, Philosophy, Vintage Enthusiasms
٢٠١١
The Age of Alternative Logics
٢٠٠٦
Paraconsistency: Logic and Applications
٢٠١٢
Prawitz's Epistemic Grounding
٢٠٢٣