External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 4, Issue 4

    241 -- 269Ivan Boh. Walter Burleigh's hypothetical syllogistic
    270 -- 273Hilary Putnam. A note on constructible sets of integers
    274 -- 282John R. Myhill. Variations on a theme of Bernays
    283 -- 287Raouf Doss. On Gödel's proof that V=L implies the generalized continuum hypothesis
    288 -- 292Karel Lambert. Existential import revisited
    293 -- 305S. Summersbee, A. Walters. Programming the functions of formal logic. II. Multi-valued logics
    306 -- 312Kenneth M. Sayre. Propositional logic in Plato's Protagoras
    313 -- 320Nuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason. On not strengthening intuitionistic logic
    runs on