Gregory Landini Logic in Russell's Principles of Mathematics. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1996, v:37, n:4, pp:554-584 [Journal]

Daniel Dzierzgowski Finite Sets and Natural Numbers in Intuitionistic TT. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1996, v:37, n:4, pp:585-601 [Journal]

Lloyd Humberstone A Basic System of Congruential-to-Monotone Bimodal Logic and Two of its Extensions. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1996, v:37, n:4, pp:602-612 [Journal]

Oleg V. Belegradek Higman's Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1996, v:37, n:4, pp:613-624 [Journal]

Ken Akiba Field on the Notion of Consistency. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1996, v:37, n:4, pp:625-630 [Journal]

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP