|
Journals in DBLP
- Harvey Friedman, Michael Sheard
Elementary Descent Recursion and Proof Theory. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1995, v:71, n:1, pp:1-45 [Journal]
- Gaisi Takeuti
Separations of Theories in Weak Bounded Arithmetic. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1995, v:71, n:1, pp:47-67 [Journal]
- Daniel E. Talayco
Applications of Cohomology to Set Theory I: Hausdorff Gaps. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1995, v:71, n:1, pp:69-106 [Journal]
|