Journals in DBLP

Ann. Pure Appl. Logic
1999, volume: 98, number: 1-3

1. Alexej P. Pynko
   Definitional Equivalence and Algebraizability of Generalized Logical Systems. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:98, n:1-3, pp:1-68 [Journal]
   
2. Enrique Casanovas
   The Number of Types in Simple Theories. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:98, n:1-3, pp:69-86 [Journal]
   
3. Iraj Kalantari, Lawrence Welch
   Recursive and Nonextendible Functions over the Reals; Filter Foundation for Recursive Analysis, II. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:98, n:1-3, pp:87-110 [Journal]
   
4. J. B. Wells
   Typability and Type Checking in System F are Equivalent and Undecidable. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:98, n:1-3, pp:111-156 [Journal]
   
5. Renling Jin
   Distinguishing Three Strong Saturation Properties in Nonstandard Analysis. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:98, n:1-3, pp:157-171 [Journal]
   
6. Philip Scowcroft
   Some Purely Topological Models for Intuitionistic Analysis. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:98, n:1-3, pp:173-215 [Journal]
   
7. Saharon Shelah, Jindrich Zapletal
   Canonical Models for N₁-Combinatorics. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:98, n:1-3, pp:217-259 [Journal]
   
8. Saharon Shelah
   Categoricity for Abstract Classes with Amalgamation. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:98, n:1-3, pp:261-294 [Journal]
   
9. Bakhadyr Khoussainov, Richard A. Shore
   Erratum to "Computable Isomorphisms, Degree Spectra of Relations, and Scott Families". [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1999, v:98, n:1-3, pp:297-298 [Journal]