Teaching Mathematics Online: Emergent Technologies and Methodologies
Angel A. Juan & Maria A. Huertas & Sven Trenholm
Cloud Computing: Principles and Paradigms
Rajkumar Buyya & James Broberg & Andrzej M. Goscinski
Quantum Measurement Theory and its Applications
Kurt Jacobs
Chinese Communism and the Rise of Mao
Benjamin Isadore Schwartz
What Makes Us Think?: A Neuroscientist and a Philosopher Argue ...
Paul Ricoeur & Jean-Pierre Changeux
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