Journals in DBLP

Ann. Pure Appl. Logic
1991, volume: 52, number: 1-2

1. Juichi Shinoda, Tosiyuki Tugué
   Preface - Papers presented at the International Symposium on Mathematical Logic and its Applications Nagoya, Japan, November 7-11, 1988. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:1- [Journal]
   
2. Samuel R. Buss
   Propositional Consistency Proofs. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:3-29 [Journal]
   
3. Hajime Ishihara
   Constructive Compact Operators on a Hilbert Space. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:31-37 [Journal]
   
4. Carl G. Jockusch Jr., Robert I. Soare
   Degrees of Orderings Not Isomorphic to Recursive Linear Orderings. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:39-64 [Journal]
   
5. Akihiro Kanamori
   Regressive Partition Relations, n-Subtle Cardinals, and Borel Diagonalization. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:65-77 [Journal]
   
6. Alexander S. Kechris
   Boundedness Theorems for Dilators and Ptykes. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:79-92 [Journal]
   
7. Alexander S. Kechris, W. Hugh Woodin
   A Strong Boundedness Theorem for Dilators. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:93-97 [Journal]
   
8. H. Jerome Keisler
   From Discrete to Continuous Time. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:99-141 [Journal]
   
9. Jan Krajícek, Pavel Pudlák, Gaisi Takeuti
   Bounded Arithmetic and the Polynomial Hierarchy. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:143-153 [Journal]
   
10. Theodore A. Slaman
    The Density of Infima in the Recursively Enumerable Degrees. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:155-179 [Journal]
    
11. Kazuyuki Tanaka
    Weak Axioms of Determinacy and Subsystems of Analysis II (Sigma⁰₂ Games). [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:181-193 [Journal]
    
12. Masahiro Yasumoto
    Nonstandard Arithmetic of Hilbert Subsets. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1991, v:52, n:1-2, pp:195-202 [Journal]