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]