J. Ridder. Formalistische Betrachtungen über intuitionistische und verwandte logische Systeme. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, Bd. 53 (1950), S. 327–336, 446–455, 787–799, 1375–1389, und Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, Bd. 54 (1951), S. 94–105, 169–177, 226–236; auch Indagationes mathematical Bd. 12 (1950), S. 75–84, 98–107, 231–243, 445–459, und Bd. 13 (1951), S. 94–105, 169–177, 226–236.