Constructive mathematics and quantum mechanics: Unbounded operators and the spectral theorem Geoffrey Hellman OriginalPaper Pages: 221 - 248
A natural deduction system for discourse representation theory Werner Saurer OriginalPaper Pages: 249 - 302
Functional completeness for subsystems of intuitionistic propositional logic Heinrich Wansing OriginalPaper Pages: 303 - 321
Comment on Peter of Spain, Jim Mackenzie, and begging the question Kent Wilson OriginalPaper Pages: 323 - 331