Rodney G. Downey On Pi_{1}^{0} Classes and their Ranked Points. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:499-512 [Journal]

Albert Visser On the Sigma_{1}^{0}-Conservativity of Sigma_{1}^{0}-Completeness. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:554-561 [Journal]

Alessandra Carbone Provable Fixed Points in I Delta_{0} + Omega_{1}. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:562-572 [Journal]

Kosta Dosen Ancestral Kripke Models and Nonhereditary Kripke Models for the Heyting Propositional Calculus. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:580-597 [Journal]

Juan Barba Escriba A Multidimensional Modal Translation for a Formal System Motivated by Situation Semantics. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1991, v:32, n:4, pp:598-608 [Journal]