The Logician and the Engineer
Paul J. Nahin
The Dart Programming Language
Gilad Bracha
Das Leben ist nur wirklich wenn ich bin
Georges Ivanovich Gurdjieff
Mechanics and Dynamical Systems with Mathematica®
Antonio Romano & Nicola Bellomo & Luigi Preziosi
The Adventure of the Dying Detective - a Sherlock Holmes Short ...
Arthur Conan Doyle
Intellectics and Computational Logic: Papers in Honor of Wolfgang ...
Steffen Hölldobler
Interdisciplinary Works in Logic, Epistemology, Psychology and ...
Manuel Rebuschi & Martine Batt & Gerhard Heinzmann & Franck Lihoreau & Michel Musiol & Alain Trognon
Intermediate Logic
David Bostock
Introduction to Boolean Algebras
Steven Givant & Paul Halmos
Introduction to Formal Philosophy
Sven Ove Hansson & Vincent F. Hendricks
Introduction to Fuzzy Logic
James K. Peckol
An Introduction to Fuzzy Sets
Valdemar F. Andersen
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, ...
Merrie Bergmann
An Introduction to Mathematical Logic and Type Theory: To Truth ...
Peter B. Andrews
Introduction to Mathematica® with Applications
Marian Mureşan
Kant and Aristotle: Epistemology, Logic, and Method
Marco Sgarbi
Knowledge Engineering and Semantic Web: 8th International Conference, ...
Przemysław Różewski & Christoph Lange
Knowledge From Non-Knowledge
Federico Luzzi
Knowledge Graph and Semantic Computing. Knowledge Computing ...
Jun Zhao & Frank van Harmelen & Jie Tang & Xianpei Han & Quan Wang & Xianyong Li
Knowledge in Perspective Selected Essays in Epistemology
Ernest Sosa
Knowledge Representation and Defeasible Reasoning
Henry E. Kyburg Jr. & R. P. Loui & G. N. Carlson
Knowledge Representation for Agents and Multi-Agent Systems: ...
John-Jules Meyer & Jan M. Broersen
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
Labelled Deduction
David Basin & M. D'Agostino & Dov M. Gabbay & Seán Matthews & Luca Viganò
Labelled Deductive Systems
Dov M. Gabbay