The Philosopher: A History in Six Types
Justin E. H. Smith
The Central Intelligence Agency: An Encyclopedia of Covert Ops, ...
Jan Goldman
The Intention Experiment: Using Your Thoughts to Change Your ...
Lynne McTaggart
Language Matters: A Guide to Everyday Questions About Language
Donna Jo Napoli & Vera Lee-Schoenfeld
Open VPN: Building and Operating Virtual Private Networks
Markus Feilner
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
Advanced Information Processing: Proceedings of a Joint Symposium. ...
Heinz Schwärtzel & Igor A. Mizin
An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
Computational Music Analysis
David Meredith
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
Frontiers in Belief Revision
M. Williams & Hans Rott
Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets
Labelled Deduction
David Basin & M. D'Agostino & Dov M. Gabbay & Seán Matthews & Luca Viganò
Logical and Computational Aspects of Model-Based Reasoning
L. Magnani & N. J. Nersessian & Claudio Pizzi
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
Philosophy and Computing: An Introduction
Luciano Floridi
Philosophy and Computer Science
Timothy R. Colburn
Problem Solving in Automata, Languages, and Complexity
Ding-Zhu Du & Ker-i Ko