انتشارات Springer Cham
A Course in Mathematical Logic for Mathematicians
Yu. I. Manin (auth.), 2010
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic
Bruno Poizat, 2000
A Course in Model Theory: An Introduction to Contemporary Mathematical Logic
Bruno Poizat, 2000
A Course on Mathematical Logic
Shashi Mohan Srivastava, 2008
A course on mathematical logic
S. M. Srivastava (auth.), 2008
A Course On Mathematical Logic
S. M. Srivastava (auth.), 2008
A Course on Mathematical Logic
Shashi Mohan Srivastava, 2013
A Guide to Classical and Modern Model Theory
Annalisa Marcja, Carlo Toffalori (auth.), 2003
A Guide to Classical and Modern Model Theory
Annalisa Marcja, Carlo Toffalori, 2003
A Logical Approach to Discrete Math
David Gries, Fred B. Schneider, 1993
A Logical Approach to Discrete Math
David Gries, Fred B. Schneider, 1993
A Logical Approach to Philosophy: Essays in Honour of Graham Solomon (The Western Ontario Series in Philosophy of Science)
David DeVidi, Tim Kenyon (Editors), 2006
A Modern Perspective on Type Theory: From its Origins until Today
Fairouz Kamareddine, Twan Laan, Rob Nederpelt, 2005
A Modern Perspective on Type Theory: From its Origins until Today
Fairouz Kamareddine, Twan Laan, Rob Nederpelt, 2005
A Resolution Principle for a Logic with Restricted Quantifiers
H. -J. Bürckert (eds.), 1991
A Short Introduction to Intuitionistic Logic
Grigori Mints, 2000
A Textbook of Belief Dynamics: Solutions to exercises
Sven Ove Hansson (auth.), 1999
Abduction and Induction: Essays on their Relation and Integration
Peter A. Flach, Antonis C. Kakas (auth.), Peter A. Flach, Antonis C. Kakas (eds.), 2000
Abductive Cognition: The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning
Lorenzo Magnani (auth.), 2009
Abductive Reasoning and Learning
Peter A. Flach, Antonis C. Kakas (auth.), Dov M. Gabbay, Rudolf Kruse (eds.), 2000
Abductive Reasoning: Logical Investigations into Discovery and Explanation
Atocha Aliseda, 2006
Abstract Computing Machines: A Lambda Calculus Perspective
Werner Kluge, 2005
