Concepts of Proof in Mathematics, Philosophy, and Computer Science
Dieter Probst & Peter Schuster
Ontos Mathematical Logic (6)
Knowledge representation, reasoning and declarative problem ...
Chitta Baral
Incremental Software Architecture: A Method for Saving Failing ...
Michael Bell
The Survival of the Wisest
Jonas Salk
Expositions of the Psalms 73-98
Saint Augustine (of Hippo)
History of God
Karen Armstrong