Proclus: Neo-Platonic Philosophy and Science
Lucas Siorvanes
Algorithms in C, Parts 1-4
Robert Sedgewick
The Routledge Companion to Nineteenth Century Philosophy
Dean Moyar
Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
A Dictionary of Judean Aramaic
Michael Sokoloff
Galois Theory: Fifth Edition
Ian Nicholas Stewart