Labelled Deduction
Dov M. Gabbay & David Basin & M. D'Agostino & Seán Matthews & Luca Viganò
Presocratic Philosophers: Thales, Anaximander, Xenophanes, Heraclitus, ...
Anaxagoras & Parmenides & Heraclitus & Thales & Anaximander & Xenophanes & Pythagoras & Zeno & Empedocles & Democritus
Introduction to Mathematical Optimization: From Linear Programming ...
Xin-She Yang
COBUILD Advanced Learner’s Dictionary
Collins Cobuild
On the Distinction Between Model-Theoretic & Generative-Enumer[..] ...
Geoffrey K. Pullum & Barbara C. Scholz
Eschatology: Death and the Eternal Life (Second Edition)
Benedict Xvi & Joseph Ratzinger
On Genesis: Two Books on Genesis Against the Manichees and on ...
Augustin ((saint ;) & Saint Augustine & Saint Augustine, Bishop Of Hippo & St Augustine & Saint Augustine Of Hippo