
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
584,-

Algebraic Probabilistic Consistency
1 328,-

A Model–Theoretic Approach to Proof Theory
584,-

Contradictions, from Consistency to Inconsistency
1 124,-

Heyting Algebras I. Duality Theory
854,-

Model Theory
854,-

The Method of Socratic Proofs
1 466,-

Advances in Proof-Theoretic Semantics
584,-

Foundations of the Theory of Parthood
971,-

Heyting Algebras
854,-

Logical Studies of Paraconsistent Reasoning in Science and Mathematics
584,-

Algebraic Probabilistic Consistency
1 328,-

A Model–Theoretic Approach to Proof Theory
584,-

Contradictions, from Consistency to Inconsistency
1 124,-

Heyting Algebras I. Duality Theory
854,-

Model Theory
854,-

The Method of Socratic Proofs
1 466,-

Advances in Proof-Theoretic Semantics
584,-

Foundations of the Theory of Parthood
971,-

Heyting Algebras
854,-