Journals in DBLP

Notre Dame Journal of Formal Logic
1994, volume: 35, number: 4

1. Claudio Cerrato
   Natural Deduction Based upon Strict Implication for Normal Modal Logics. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1994, v:35, n:4, pp:471-495 [Journal]
   
2. Zlatan Damnjanovic
   Elementary Functions and Loop Programs. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1994, v:35, n:4, pp:496-522 [Journal]
   
3. Benedetto Intrigila
   Some Results on Numerical Systems in lambda-Calculus. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1994, v:35, n:4, pp:523-541 [Journal]
   
4. Greg Hjorth
   Pi₁¹ Wellfounded Relations. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1994, v:35, n:4, pp:542-549 [Journal]
   
5. Hajnal Andréka, Roger D. Maddux
   Representations for Small Relation Algebras. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1994, v:35, n:4, pp:550-562 [Journal]
   
6. Giovanna D'Agostino
   Topological Structure of Diagonalizable Algebras and Corresponding Logicl Properties of Theories. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1994, v:35, n:4, pp:563-572 [Journal]
   
7. Patricia Johann
   Normal Forms in Combinatory Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1994, v:35, n:4, pp:573-594 [Journal]
   
8. Tomasz F. Skura
   Syntactic Refutations against Finite Models in Modal Logic. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1994, v:35, n:4, pp:595-605 [Journal]