Intuitionistic Type Theory
Per Martin-Lof
The Sublime Object of Ideology
Slavoj Zizek
Ethics
Spinoza
The Model Thinker
Scott E. Page
The Age of Alternative Logics: Assessing Philosophy of Logic ...
Johan van Benthem & Gerhard Heinzmann & Manuel Rebuschi & Henk Visser