The Age of Alternative Logics: Assessing Philosophy of Logic ...
Johan van Benthem & Gerhard Heinzmann & Manuel Rebuschi & Henk Visser
Conversations in the House of Life: A New Translation of the ...
Richard Jasnow & Karl-Theodor Zauzich
Grounding and Shielding: Circuits and Interference
Ralph Morrison
Intuitionistic Type Theory
Per Martin-Lof
Life 3.0
Max Tegmark