Henryk Kotlarski, Richard Kaye Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:1-14 [Journal]

Roland Hinnion Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:15-40 [Journal]

Eric Hammer Reasoning with Sentences and Diagrams. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:73-87 [Journal]

Ramon Jansana Some Logics Related to von Wright's Logic of Place. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:88-98 [Journal]

David Charles McCarty On Theorems of Gödel and Kreisel: Completeness and Markov's Principle. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1994, v:35, n:1, pp:99-107 [Journal]