Journals in DBLP

Ann. Pure Appl. Logic
1994, volume: 70, number: 1

1. Sy D. Friedman
   A Simpler proof of Jensen's Coding Theorem. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1994, v:70, n:1, pp:1-16 [Journal]
   
2. W. G. Handley, S. S. Wainer
   Equational Derivation vs. Computation. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1994, v:70, n:1, pp:17-49 [Journal]
   
3. André Joyal, Ieke Moerdijk
   A Completeness Theorem for Open Maps. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1994, v:70, n:1, pp:51-86 [Journal]
   
4. Jaap van Oosten
   Axiomatizing Higher-Order Kleene Realizability. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1994, v:70, n:1, pp:87-111 [Journal]