Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Ways that are Dark: The Truth about China
Ralph Townsend
The Logic of Chemical Synthesis
Corey E.G., Chelg X.
The Emperor's New Mind: Concerning Computers, Minds, and the ...
Penrose, Roger
The Hero With A Thousand Faces, Commemorative Edition (Princeton ...
Joseph Campbell