Xizhong Zheng On the Maximality of Some Pairs of p-t Degrees. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:1, pp:29-35 [Journal]
Margarita Otero The Amalgamation Property in Normal Open Induction. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:1, pp:50-55 [Journal]
Friedemann Tuttas An Arithmetical Completeness Theorem for Pre-permutations. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:1, pp:84-89 [Journal]
Ernest Adams Formalizing the Logic of Positive, Comparative, and Superlative. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:1, pp:90-99 [Journal]
William McCune Single Axioms for the Left Group and the Right Group Calculi. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:1, pp:132-139 [Journal]
Philip L. Peterson Intermediate Quantifiers for Finch's Proportions. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1993, v:34, n:1, pp:140-149 [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