| 1 - 34 - | The Finite and the Infinite On Hilbert's Formalist Approach before and after Gödel's Incompleteness Theorems SCHIRN, Matthias | abstract details  download pdf |
| 35 - 53 - | An Objectivist Rejoinder to MacFarlane's Relativism about Truth WEISS, Bernhard | abstract details download pdf |
| 55 - 71 - | Transparent Truth-Value Predicates in Multi-Valued Logics FRANCEZ, Nissim, KAMINSKI, Michael | abstract details download pdf |
| 73 - 114 - | A Graphical Deep Inference System for Intuitionistic Logic MINGHUI, Ma, PIETARINEN, Ahti-Veikko | abstract details download pdf |
