Journals in DBLP

Ann. Pure Appl. Logic
2001, volume: 109, number: 3

1. Gerhard Jäger, Reinhard Kahle, Thomas Studer
   Universes in explicit mathematics. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:109, n:3, pp:141-162 [Journal]
   
2. Claudio Bernardi
   Fixed points and unfounded chains. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:109, n:3, pp:163-178 [Journal]
   
3. David Asperó, Joan Bagaria
   Bounded forcing axioms and the continuum. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:109, n:3, pp:179-203 [Journal]
   
4. Antonio Bucciarelli, Thomas Ehrhard
   On phase semantics and denotational semantics: the exponentials. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:109, n:3, pp:205-241 [Journal]