Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
Constraint Reasoning for Differential Models
Jorge Cruz
Mathematical Epistemology and Psychology
Jean Piaget & Evert W. Beth
Synthese Library (12)
The Oxford Handbook of Derivational Morphology
Rochelle Lieber & Pavol Štekauer
The Birth of Modernism: Ezra Pound, T.S. Eliot, W.B. Yeats, ...
Leon Surette
Concise Introduction to Logic and Set Theory
Iqbal H. Jebril & Hemen Dutta & Ilwoo Cho