Ship Handling: Theory and Practice
D. J. House
Introductory Topology
Stewart Scott Cairns
Bringing Down the Krays
Bobby Teale
Queen of the Damned
Anne Rice
Writing the Ottomans
Anders Ingram
Early Modern Literature in History (1)
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