Title: A Resolution Principle for a Logic with Restricted Quantifiers, Author: Hans-Jürgen Bürckert
Title: A Short Introduction to Intuitionistic Logic, Author: Grigori Mints
Title: A Structuralist Theory of Logic, Author: Arnold Koslow
Title: A Survey of the Almagest: With Annotation and New Commentary by Alexander Jones, Author: Olaf Pedersen
Title: A Synopsis of Elementary Results in Pure and Applied Mathematics: Volume 2: Containing Propositions, Formulae, and Methods of Analysis, with Abridged Demonstrations, Author: George Shoobridge Carr
Title: A System of Indian Logic: The Nyana Theory of Inference, Author: John Vattanky
Title: A System of Logic, Author: John Stuart Mill
Title: A Systemic Perspective on Cognition and Mathematics, Author: Jeffrey Yi-Lin Forrest
Title: A Textbook of Belief Dynamics: Theory Change and Database Updating, Author: Sven Ove Hansson
Title: A.P. Morse's Set Theory and Analysis, Author: Robert A. Alps
Title: Abduction and Induction: Essays on their Relation and Integration, Author: P.A. Flach
Title: Abductive Reasoning and Learning, Author: Dov M. Gabbay
Title: Abstract Computing Machines: A Lambda Calculus Perspective, Author: Werner Kluge
Title: Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, Author: Michael Butler
Title: Activity and Sign: Grounding Mathematics Education, Author: Michael H.G. Hoffmann
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol, Author: Iman Poernomo
Title: Adaptive Logics for Defeasible Reasoning: Applications in Argumentation, Normative Reasoning and Default Reasoning, Author: Christian Straßer
Title: Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units, Author: Ulrich W. Kulisch
Title: Advanced Fuzzy Logic Technologies in Industrial Applications, Author: Ying Bai
Title: Advances in Computational Intelligence and Learning: Methods and Applications, Author: Hans-Jürgen Zimmermann

Pagination Links