Automated Deduction - a Basis for Applications Volume I Foundations ...
Wolfgang Bibel & P. H. Schmitt
Mathematica® Navigator: Mathematics, Statistics, and Graphics
Heikki Ruskeepää
Every Force Evolves a Form
Guy Davenport
A Beautiful Math: John Nash, Game Theory, and the Modern Quest ...
Tom Siegfried
Crosslinguistic Views on Tense, Aspect and Modality
Angeliek van Hout & Bart Hollebrandse & Co Vet
Key Bible Concepts
David W. Gooding & John Carson Lennox