
Well-Quasi Orders in Computation, Logic, Language and Reasoning
1 952,-

Logics and Falsifications
584,-

Logics of Variable Inclusion
1 214,-

Contradictions, from Consistency to Inconsistency
1 124,-

Heyting Algebras I. Duality Theory
854,-

A Model–Theoretic Approach to Proof Theory
584,-

Dialetheism and Its Applications
926,-

Foundations of the Theory of Parthood
971,-

Algebraic Perspectives on Substructural Logics
1 214,-

Logic in High Definition
1 214,-

Well-Quasi Orders in Computation, Logic, Language and Reasoning
1 952,-

Logics and Falsifications
584,-

Logics of Variable Inclusion
1 214,-

Contradictions, from Consistency to Inconsistency
1 124,-

Heyting Algebras I. Duality Theory
854,-

A Model–Theoretic Approach to Proof Theory
584,-

Dialetheism and Its Applications
926,-

Foundations of the Theory of Parthood
971,-

Algebraic Perspectives on Substructural Logics
1 214,-

Logic in High Definition
1 214,-