
A Model–Theoretic Approach to Proof Theory
584,-

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

Logic and Implication
1 340,-

The Method of Socratic Proofs
1 466,-

Algebraic Perspectives on Substructural Logics
1 214,-

Toward Predicate Approaches to Modality
926,-

Logics of Variable Inclusion
1 214,-

Advances in Proof-Theoretic Semantics
584,-

Logic, Action and Cognition
899,-

Foundations of the Theory of Parthood
971,-

A Model–Theoretic Approach to Proof Theory
584,-

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

Logic and Implication
1 340,-

The Method of Socratic Proofs
1 466,-

Algebraic Perspectives on Substructural Logics
1 214,-

Toward Predicate Approaches to Modality
926,-

Logics of Variable Inclusion
1 214,-

Advances in Proof-Theoretic Semantics
584,-

Logic, Action and Cognition
899,-

Foundations of the Theory of Parthood
971,-