Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
Great Books of the Western World - Volume 6
Encyclopaedia Britannica, Inc
On the Mode of Existence of Technical Objects
Gilbert Simondon
Mathematica® by Example
Martha L. Abell & James P. Braselton
The Discovery of the Mind
Bruno Snell
Heureka - Evidenzkriterien in den Wissenschaften: Ein Kompendium ...
Eva-Maria Engelen & Christian Fleischhack & Giovanni Galizia & Katharina Landfester