23 research outputs found
Ruth Barcan Marcus. Strict implication, deducibility, and the deduction theorem. The journal of symbolic logic, vol. 18 (1953), pp. 234–236.
Béla Juhos. Ein- und zweistellige Modalitäten. German, with summaries in German and English. Methodos, vol. 6 (1954), pp. 69–83.
G. F. C. Griss. La mathématique iniuitioniste sans négation. Nieuw archief voor wishunde, ser. 3 vol. 3 no. 3 (1955), pp. 134–142.
G. F. C. Griss. Negationless intuitionistic mathematics II, III, IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 53 (1950), pp. 456–463, and series A, vol. 54 (1951), pp. 193–199, 452–471; also Indagationes mathematicae
Axiomatische opbouw der verzamelingenleer, in het bijzonder der getallentheorie
Diss. Utrecht.OPLADEN-RUG0
