انتشارات Springer.
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
Admissible sets and structures: An approach to definability theory
J. Barwise, 1976
Admissible Sets and Structures: An Approach to Definability Theory
Jon Barwise, 1975
Advanced Instrumentation, Data Interpretation, and Control of Biotechnological Processes
J.F. van Impe, P.A. Vanrolleghem, D.M. Iserentant, 2010
Advanced Łukasiewicz calculus and MV-algebras
D. Mundici, 2011
Advances in Intensional Logic
Johan Van Benthem, Natasha Alechina (auth.), Maarten de Rijke (eds.), 1997
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work
Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva (eds.), 2014
