Dictionary of American History - Third Edition - Volume 2
Stanley I. Kutler
Handbook of the Philosophy of Science - Volume 8 - Philosophy ...
Pieter Adriaans & Johan Van Benthem
Beginning DevOps With Docker: Automate the Deployment of Your ...
Joseph Muli
The Spanish Flu: A History from Beginning to End (Pandemic History)
Hourly History
Beginning Ethics: An Introduction to Moral Philosophy
Lewis Vaughn
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