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

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
1 466,-

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

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
1 466,-

Dick de Jongh on Intuitionistic and Provability Logics
1 466,-

Janusz Czelakowski on Logical Consequence
1 340,-

Hiroakira Ono on Substructural Logics
1 592,-

Saul Kripke on Modal Logic
1 709,-

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

Feferman on Foundations
2 186,-

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

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
1 466,-

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

V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
1 466,-

Dick de Jongh on Intuitionistic and Provability Logics
1 466,-

Janusz Czelakowski on Logical Consequence
1 340,-

Hiroakira Ono on Substructural Logics
1 592,-

Saul Kripke on Modal Logic
1 709,-

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

Feferman on Foundations
2 186,-