Journals in DBLP

Ann. Pure Appl. Logic
1989, volume: 44, number: 1-2

1. Klaus Ambos-Spies, Robert I. Soare
   The Recursively Enumerable Degrees have Infinitely Many One-Types. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1989, v:44, n:1-2, pp:1-23 [Journal]
   
2. Chi Tat Chong
   Hyperhypersimple Sets and Delta₂ Systems. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1989, v:44, n:1-2, pp:25-38 [Journal]
   
3. John N. Crossley, Philip J. Scott
   Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1989, v:44, n:1-2, pp:39-52 [Journal]
   
4. Nigel J. Cutland
   Transfer Theorems for pi-Monads. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1989, v:44, n:1-2, pp:53-62 [Journal]
   
5. Reijiro Kurata, Mamoru Shimoda
   Some Combinatorial Principles Equivalent to Restrictions of Transfinite Induction up to Gamma₀. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1989, v:44, n:1-2, pp:63-69 [Journal]
   
6. Anil Nerode, Jeffrey B. Remmel
   Complexity-Theoretic Algebra II: Boolean Algebras. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1989, v:44, n:1-2, pp:71-99 [Journal]
   
7. Robert Solovay
   Injecting Inconsistencies into Models of PA. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1989, v:44, n:1-2, pp:101-132 [Journal]
   
8. Wang Shiqiang
   Inductive Rings and Fields. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1989, v:44, n:1-2, pp:133-137 [Journal]
   
9. Mariko Yasugi
   The Machinery of Consistency Proofs. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1989, v:44, n:1-2, pp:139-152 [Journal]