Proof and Knowledge in Mathematics
Michael Detlefsen
Jean Baudrillard
Richard J. Lane
Mathematical Knowledge
Mary Leng & Alexander Paseau & Michael Potter
Natural Language Processing for Electronic Design Automation
Mathias Soeken & Rolf Drechsler
A Dictionary of Mathematics
John Glenn & Graham Littler
House of Secrets
D. F. Hart
Vital Secrets (6)