Automated Deduction - a Basis for Applications Volume I Foundations ...
Wolfgang Bibel & P. H. Schmitt
The Virtual Leader
Takako Hirata
A First Course in Fuzzy Logic
Hung T. Nguyen & Carol L. Walker & Elbert A. Walker
Textbooks in Mathematics (1)
Supersizing the Mind: Embodiment, Action, and Cognitive Extension
Andy Clark
The Oxford Handbook of Philosophy of Science
Unknown
Mathematical Reasoning: Writing and Proof, Version 2.0
Ted Sundstrom
Mathematical Reasoning: Writing and Proof - Version 1.1