Recent Developments in Integrable Systems and Riemann--Hilbert ...
Kenneth T-r McLaughlin & Xin Zhou
Battles That Changed History: An Encyclopedia of World Conflict
Spencer Tucker
Debating Christian Religious Epistemology: An Introduction to ...
Tyler Dalton McNabb & John M. Depoe
The High-Impact PMO: How Agile Project Management Offices Deliver ...
Philippe Husser
Arbeitswelten der Zukunft: Wie die Digitalisierung unsere Arbeitsplätze ...
Burghard Hermeier & Thomas Heupel & Sabine Fichtner-Rosada
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