Most Popular Books

Proof Theory: Sequent Calculi and Related Formalisms
$166.99

Combinatory Logic: Pure, Applied and Typed
$233.99

Mathematical Logic
Out of Stock

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi (Center for the Study of Language and Information - Lecture Notes)
Out of Stock

Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn
$23.50

Combinatory Logic: Pure, Applied and Typed (Discrete Mathematics and Its Applications)
$84.99