Mirror notation: symbol manipulation without inscription manipulation Roy A. Sorensen OriginalPaper Pages: 141 - 164
A Note on Finiteness in the Predicative Foundations of Arithmetic Fernando Ferreira OriginalPaper Pages: 165 - 174
Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness A. D. Yashin OriginalPaper Pages: 175 - 197