External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 35, Issue 4

    471 -- 495Claudio Cerrato. Natural Deduction Based upon Strict Implication for Normal Modal Logics
    496 -- 522Zlatan Damnjanovic. Elementary Functions and Loop Programs
    523 -- 541Benedetto Intrigila. Some Results on Numerical Systems in lambda-Calculus
    542 -- 549Greg Hjorth. Pi::1:::::1::: Wellfounded Relations
    550 -- 562Hajnal Andréka, Roger D. Maddux. Representations for Small Relation Algebras
    563 -- 572Giovanna D Agostino. Topological Structure of Diagonalizable Algebras and Corresponding Logicl Properties of Theories
    573 -- 594Patricia Johann. Normal Forms in Combinatory Logic
    595 -- 605Tomasz F. Skura. Syntactic Refutations against Finite Models in Modal Logic
    runs on