Principled Libertarianism Of Edmund Burke - Essay
Paul Marks
On Modern Art
Paul Klee
The Blackwell Guide to the Philosophy of Education
Nigel Blake & Paul Smeyers & Richard D. Smith & Paul Standish
The Grasshopper: Games, Life and Utopia
Bernard Suits
Hannibal Barca: A Life From Beginning to End (Military Biographies ...
Hourly History
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