
A Model–Theoretic Approach to Proof Theory
584,-

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

Model Theory
854,-

The Method of Socratic Proofs
1 466,-

Logic and Implication
1 340,-

Algebraic Probabilistic Consistency
1 328,-

Logic and Implication
1 340,-

Algebraic Perspectives on Substructural Logics
1 214,-

Logics of Variable Inclusion
1 214,-

Contradictions, from Consistency to Inconsistency
1 124,-

A Model–Theoretic Approach to Proof Theory
584,-

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

Model Theory
854,-

The Method of Socratic Proofs
1 466,-

Logic and Implication
1 340,-

Algebraic Probabilistic Consistency
1 328,-

Logic and Implication
1 340,-

Algebraic Perspectives on Substructural Logics
1 214,-

Logics of Variable Inclusion
1 214,-

Contradictions, from Consistency to Inconsistency
1 124,-