Journals in DBLP

Ann. Pure Appl. Logic
1997, volume: 89, number: 1

1. Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie
   Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1997, v:89, n:1, pp:1- [Journal]
   
2. Anatoly Petrovich Beltiukov
   Intuitionistic Formal Theories with Realizability in Subrecursive Classes. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1997, v:89, n:1, pp:3-15 [Journal]
   
3. Alexis Bès
   On Pascal Triangles Modulo a Prime Power. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1997, v:89, n:1, pp:17-35 [Journal]
   
4. Richard Kaye
   Infinitary Definitions of Equivalence Relations in Models of PA. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1997, v:89, n:1, pp:37-43 [Journal]
   
5. Ivan Korec
   Theories of Generalized Pascal Triangles. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1997, v:89, n:1, pp:45-52 [Journal]
   
6. Françoise Maurin
   Ehrenfeucht Games and Ordinal Addition. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1997, v:89, n:1, pp:53-73 [Journal]
   
7. Heike Mildenberger
   Order Types of Free Subsets. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1997, v:89, n:1, pp:75-83 [Journal]
   
8. Frank O. Wagner
   On the Structure of Stable Groups. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1997, v:89, n:1, pp:85-92 [Journal]
   
9. Sy D. Friedman, Boban Velickovic
   Delta₁-Definability. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1997, v:89, n:1, pp:93-99 [Journal]