MAC OS X UNIX Toolbox: 1000+ Commands for the Mac OS X
Christopher Negus & Thomas Myer & François Caen
An Information Presentation System - Paper
Jeff Gibbons & Frank Zdybel & Norton R. Greenfeld & Martin D. Yonke
What Is Meaning: Fundamentals of Formal Semantics
Paul H. Portner
In the Shadow of Violence: Politics, Economics, and the Problems ...
Douglass C. North & John Joseph Wallis & Steven B. Webb & Barry R. Weingast
The Cauchy-Riemann Complex: Integral Formulae and Neumann Problem
Ingo Lieb & Joachim Michel
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
Matthias Baaz & Christos H. Papadimitriou & Hilary W. Putnam & Dana S. Scott & Charles L. Harper, Jr
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Giving Reasons: A Linguistic-Pragmatic Approach to Argumentation ...
Lilian Bermejo Luque
Mathematical Logic and Model Theory: A Brief Introduction
Alexander Prestel & Charles Delzell
Knowledge Representation and Defeasible Reasoning
Henry E. Kyburg Jr. & R. P. Loui & G. N. Carlson
The Oxford Handbook of Wittgenstein
Oskari Kuusela & Marie McGinn
Understanding Counterfactuals, Understanding Causation: Issues ...
Christoph Hoerl & Teresa McCormack & Sarah R. Beck
Mutational and Morphological Analysis: Tools for Shape Evolution ...
Jean-Pierre Aubin
Playing With Infinity
Rózsa Péter
Dover Books on Mathematics (1)
Language, Truth and Logic
Alfred Jules Ayer
Graph Structures for Knowledge Representation and Reasoning: ...
Madalina Croitoru & Sebastian Rudolph & Nic Wilson & John Howse & Olivier Corby
A Custodian of Grammar: Essays on Wittgenstein's Philosophical ...
Kristijan Krkač
Controlled Natural Language: Second International Workshop, ...
Michael Rosner & Norbert E Fuchs
Mathematical Logic for Computer Science
Mordechai Ben-Ari
Epistemology Versus Ontology: Essays on the Philosophy and Foundations ...
P. Dybjer & Sten Lindström & Erik Palmgren & B. G. Sundholm
Critical Thinking: A Student's Introduction
Gregory Bassham & James M. Wallace & William Irwin & Henry Nardone
Adam Smith
James R. Otteson
Advances in Natural Language Processing: 8th International Conference ...
Hitoshi Isahara & Kyoko Kanzaki
Inference on the Low Level: An Investigation Into Deduction, ...
Hannes Leitgeb
A Textbook of Belief Dynamics: Solutions to Exercises
Sven Ove Hansson