The Toxin Solution
Joseph Pizzorno
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Iamblichus and the Theory of the Vehicle of the Soul
John F. Finamore
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair