External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 1, Issue 1-2

    3 -- 12E. J. Lemmon. An extension algebra and the modal system T
    13 -- 22Thoralf Skolem. Investigations on a comprehension axiom without negation in the defining propositional functions
    23 -- 47Czeslaw Lejewski. Studies in the axiomatic foundations of Boolean algebra. I
    48 -- 51Ivo Thomas. Independence of Faris-rejection-axioms
    52 -- 73Boleslaw Sobocinski. On the single axioms of the protothetic. I
    74 -- 78Ivo Thomas. Independence of Tarski's law in Henkin's propositional fragments
    runs on