The Essential Turing
Alan Mathison Turing
Myths About Ayn Rand: Popular Errors and the Insights They Conceal
David Kelley & Alexander R. Cohen & Laurie Rice & William R. Thomas
The Book of Mormon, the Doctrine and Covenants, the Pearl of ...
Church Of Jesus Christ Of Latter-Day Saints
Prediction and Analysis for Knowledge Representation and Machine ...
Avadhesh Kumar & Shrddha Sagar & T. Ganesh Kumar & K. Sampath Kumar
Implosion Sonderhefte 1-20
Victor Schauberger
Philosophical and Mathematical Logic
Harrie de Swart
A Modern Perspective on Type Theory: From Its Origins Until ...
F. D. Kamareddine & T. Laan & Rob Nederpelt
Advances in Intensional Logic
Maarten de Rijke
Advances in Temporal Logic
Howard Barringer & Michael Fisher & Dov M. Gabbay & Graham Gough
An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
Foundations of Bayesianism
D. Corfield & J. Williamson
Foundations of Rational Agency
Michael Wooldridge & A. Rao
Fuzzy Sets, Logics and Reasoning About Knowledge
Didier Dubois & Henri Prade & Erich Peter Klement
Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets
Labelled Deductive Systems
Dov M. Gabbay
Logical and Computational Aspects of Model-Based Reasoning
L. Magnani & N. J. Nersessian & Claudio Pizzi
Mathematical Logic: A Course with Exercises
René Cori & Daniel Lascar
Mathematical Logic and Model Theory: A Brief Introduction
Alexander Prestel & Charles Delzell
Mathematical Logic for Computer Science
Mordechai Ben-Ari
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry
Roman Kossak
Mathematical Logic
Heinz-Dieter Ebbinghaus & Jörg Flum & Wolfgang Thomas
Mathematical Morsels
Ross Honsberger
Modalities and Multimodalities
Walter Carnielli & Claudio Pizzi
Numerical Methods for Solving Inverse Problems of Mathematical ...
Aleksandr Andreevich Samarskiĭ & Petr Nikolaevich Vabishchevich
Platonism and Anti-Platonism in Mathematics
Mark Balaguer