Mathematics for Physical Science and Engineering: Symbolic Computing ...
Frank E. Harris
Heuristic and Knowledge-Based Security Checks of Source Code ...
Fabien Patrick Viertel
Language and Comprehension
Jean François le Ny & Jean François Leny & Walter Kintsch
Implementing Automated Software Testing
Neha Kaul
Philosophy of Religion: An Anthology
Michael C. Rea & Louis P. Pojman
Fuzzy Logic and Intelligent Systems
Hua Harry Li & Hua Li & Madan M. Gupta
Higher-Order Algebra, Logic, and Term Rewriting: First International ...
Jan Heering & Karl Meinke & Bernhard Möller & Tobias Nipkow
Mathematical Go: Chilling Gets the Last Point
Elwyn Berlekamp & David Wolfe
The USSR Olympiad Problem Book: Selected Problems and Theorems ...
D. O. Shklarsky & Isaak Moiseevich I?a?glom & Irving Sussman
Notes on Philosophy, Probability and Mathematics
Frank Plumpton Ramsey
Mathematics and the Image of Reason
Mary Tiles
Philosophical Issues in Science (1)
Fuzzy Set Theory — and Its Applications
Hans-Jürgen Zimmermann
Mathematics and Plausible Reasoning: Induction and Analogy in ...
György Pólya
Algebraic Logic
Semen G. Gindikin
Category Theory: Applications to Algebra, Logic and Topology. ...
K. H. Kamps & D. Pumplün & W. Tholen
Mathematical Discovery on Understanding, Learning and Teaching ...
*- Autonomous Categories
M. Barr