
Graham Priest on Dialetheism and Paraconsistency
1 826,-

Hajnal Andréka and István Németi on Unity of Science
1 124,-

Raymond Smullyan on Self Reference
1 214,-

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
1 466,-

Rohit Parikh on Logic, Language and Society
1 214,-

Martin Davis on Computability, Computational Logic, and Mathematical Foundations
1 124,-

Martin Davis on Computability, Computational Logic, and Mathematical Foundations
1 466,-

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
1 466,-

Hiroakira Ono on Substructural Logics
1 592,-

Larisa Maksimova on Implication, Interpolation, and Definability
584,-

Graham Priest on Dialetheism and Paraconsistency
1 826,-

Hajnal Andréka and István Németi on Unity of Science
1 124,-

Raymond Smullyan on Self Reference
1 214,-

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
1 466,-

Rohit Parikh on Logic, Language and Society
1 214,-

Martin Davis on Computability, Computational Logic, and Mathematical Foundations
1 124,-

Martin Davis on Computability, Computational Logic, and Mathematical Foundations
1 466,-

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
1 466,-

Hiroakira Ono on Substructural Logics
1 592,-

Larisa Maksimova on Implication, Interpolation, and Definability
584,-