Journals in DBLP
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 ] 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 ] 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 ] Greg Hjorth Pi_{1} ^{1} Wellfounded Relations. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1994, v:35, n:4, pp:542-549 [Journal ] 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 ] 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 ] 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 ] 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 ]