The Nine: Inside the Secret World of the Supreme Court
Jeffrey Toobin
Agile Information Security: Using Scrum to Survive in and Secure ...
James Fitzer
Surrealism
Herbert Edward Read
Innovating With Augmented Reality: Applications in Education ...
P Kaliraj & Devi Thirupathi
Spinoza: The Reception and Influence of Spinoza's Philosophy
Genevieve Lloyd
Recursive Functions and Metamathematics
Roman Murawski
Synthese Library (286)
Prescriptive Reasoning
Richard L. Epstein
An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
Frontiers in Belief Revision
M. Williams & Hans Rott
Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets
Formal Aspects of Context
Pierre Bonzon & Marcos Cavalcanti & Rolf Nossum
Abduction and Induction: Essays on Their Relation and Integration
P. A. Flach & Antonis Hadjiantonis
Intellectics and Computational Logic: Papers in Honor of Wolfgang ...
Steffen Hölldobler
Why We Need Ordinary Language Philosophy
Sandra Laugier
Advances in Intensional Logic
Maarten de Rijke
What Is Negation?
Dov M. Gabbay & Heinrich Wansing
The Art of Reasoning: An Introduction to Logic and Critical ...
David Kelley
Oxford Studies in Medieval Philosophy - Volume 1
Robert Pasnau
Tractatus Logico-Philosophicus (The Original 1922 Edition with ...
Ludwig Wittgenstein
Four Colors Suffice: How the Map Problem Was Solved - Revised ...
Robin Wilson & Ian Nicholas Stewart
Advances in Temporal Logic
Howard Barringer & Michael Fisher & Dov M. Gabbay & Graham Gough
Quantification in Natural Languages
Elke Bach & E. Jelinek & A. Kratzer & Barbara B. H. Partee
Metamathematics of Fuzzy Logic
Petr Hájek
Modeling Nature: Cellular Automata Simulations with Mathematica®
Richard J. Gaylord & Kazume Nishidate