Linking Game-Theoretical Approaches with Constructive Type Theory

Dialogical Strategies, CTT demonstrations and the Axiom of Choice

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Linking Game-Theoretical Approaches with Constructive Type Theory

Dialogical Strategies, CTT demonstrations and the Axiom of Choice

Produktform: Buch / Einband - flex.(Paperback)

The Unity of Science in the Arabic Tradition

Science, Logic, Epistemology and their Interactions

Produktform: E-Buch Text Elektronisches Buch in proprietärem

---

Unity, Truth and the Liar

The Modern Relevance of Medieval Solutions to the Liar Paradox

Produktform: E-Buch Text Elektronisches Buch in proprietärem

---

The Realism-Antirealism Debate in the Age of Alternative Logics

Produktform: E-Buch Text Elektronisches Buch in proprietärem

---

Inferences by Parallel Reasoning in Islamic Jurisprudence

Al-Shīrāzī’s Insights into the Dialectical Constitution of Meaning and Knowledge

Produktform: Buch / Einband - flex.(Paperback)

The Unity of Science in the Arabic Tradition

Science, Logic, Epistemology and their Interactions

Produktform: Buch / Einband - flex.(Paperback)

---

The Realism-Antirealism Debate in the Age of Alternative Logics

Produktform: Buch / Einband - flex.(Paperback)

---

Unity, Truth and the Liar

The Modern Relevance of Medieval Solutions to the Liar Paradox

Produktform: Buch / Einband - flex.(Paperback)

---

The Unity of Science in the Arabic Tradition

Science, Logic, Epistemology and their Interactions

Produktform: Buch / Einband - fest (Hardcover)

---