Journals in DBLP

Ann. Pure Appl. Logic
1993, volume: 59, number: 3

1. Samuel R. Buss
   Intuitionistic Validity in T-Normal Kripke Structures. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:59, n:3, pp:159-173 [Journal]
   
2. Rodney G. Downey, Michael Stob
   Friedberg Splittings of Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:59, n:3, pp:175-199 [Journal]
   
3. Jean-Yves Girard
   On the Unity of Logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:59, n:3, pp:201-217 [Journal]
   
4. Moti Gitik, Saharon Shelah
   More on Simple Forcing Notions and Forcings with Ideals. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:59, n:3, pp:219-238 [Journal]
   
5. Sabine Koppelberg
   A Construction of Boolean Algebras from First-Order Structures. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:59, n:3, pp:239-256 [Journal]
   
6. Masahiro Kumabe
   Generic Degrees are Complemented. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:59, n:3, pp:257-272 [Journal]
   
7. Lian Li, Huilin Li, Yixun Liu
   A Decision Algorithm for Linear Sentences on a PFM. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:59, n:3, pp:273-286 [Journal]