External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 1, Issue 4

    127 -- 137R. L. Goodstein, J. Hooley. On recursive transcendence
    138 -- 149Otto Bird. The formalizing of the topics in mediaeval logic
    150 -- 170D. L. Székely. Die Theorie der Umgangssprache als interpretierter Kompositkalkül
    171 -- 175Hugues Leblanc. On a recent allotment of probabilities to open and closed sentences
    176 -- 177Boleslaw Sobocinski. Errata: "On the single axioms of the protothetic. I."
    176 -- 177Czeslaw Lejewski. Errata: "Studies in the axiomatic foundations of Boolean algebra. I."
    176 -- 177E. J. Lemmon. Errata: An extension algebra and the modal system T
    runs on