انتشارات Next Step Press
After Modernity: Archaeological Approaches to the Contemporary Past
Rodney Harrison, John Schofield, 2010
Agency and Deontic Logic
John F. Horty, 2001
Agency and Deontic Logic
John F. Horty, 2001
Air Logic Control for Automated Systems
Rudy Wojtecki, 1999
Algebra of Proofs
M. E. Szabo, 1978
Algebraic Methods in Philosophical Logic
J. Michael Dunn, Gary M. Hardegree, 2001
Algebraic Methods in Philosophical Logic
J. Michael Dunn, Gary M. Hardegree, 2001
Algorithmic term rewriting systems
Ariya Isihara., cop. 2010.
Ambiguity and Logic
Frederic Schick, 2003
An Introduction to Formal Logic
Peter Smith, 2003
An Introduction to Formal Logic
Peter Smith, 2003
An Introduction to Gödel's Theorems
Peter Smith, 2007
An Introduction to Gödel's Theorems
Peter Smith, 2013
An Introduction to Non-Classical Logic
Graham Priest, 2001
An Introduction to Non-Classical Logic: From If to Is
Graham Priest, 2008
An Introduction to Stability Theory
Anand Pillay, 1983
An Introduction to Stability Theory
Anand Pillay, 1983
An Introduction to the Philosophy of Mathematics
Mark Colyvan, 2012
Analogical Reasoning in Children
Usha Goswami, 1993
Ancient Formal Logic
Innocentius Marie Bochenski
Andrzej Mostowski and foundational studies
A. Ehrenfeucht, V.W. Marek, M. Srebrny, 2008
Antitrust Consent Decrees in Theory and Practice: Why Less Is More
Richard A. Epstein, 2007
Apple Pro Training Series: Advanced Logic Pro 7
David Dvorin, 2005
Apple Pro Training Series: Logic Pro 7 and Logic Express 7
Martin Sitter, 2005
