Journals in DBLP

Ann. Pure Appl. Logic
1998, volume: 92, number: 2

1. Anton Setzer
   Well-Ordering, Proofs for Martin-Löf Type Theory. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1998, v:92, n:2, pp:113-159 [Journal]
   
2. Daniel W. Cunningham
   Is There a Set of Reals Not in K(R)? [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1998, v:92, n:2, pp:161-210 [Journal]
   
3. Marco Forti, Furio Honsell
   Addendum and Corrigendum: Choice Principles in Hyperuniverses. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1998, v:92, n:2, pp:211-214 [Journal]
   
4. Johann A. Makowsky, Y. B. Pnueli
   Erratum to ``Arity and Alternation in Second-Order Logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1998, v:92, n:2, pp:215- [Journal]