Automated Deduction - a Basis for Applications Volume I Foundations ...
Wolfgang Bibel & P. H. Schmitt
Sir Ernest Shackleton and the Struggle Against Antartica
Hal Marcovitz
How to Prove There Is a God
Mortimer Jerome Adler
Poems in Two Volumes, Volume 1: By William Wordsworth - Illustrated
William Wordsworth
Who Is Who?: The Philosophy of Doctor Who
Kevin S. Decker
The Works of Saint Augustine: A Translation for the 21st Century
Saint Augustine (of Hippo) & Augustin ((saint ;)
Expositions of the Psalms 73-98
Saint Augustine (of Hippo)