Journals in DBLP

Ann. Pure Appl. Logic
1993, volume: 62, number: 1

1. Jacqueline Vauzeilles
   Cut Elimination for the Unified Logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:62, n:1, pp:1-16 [Journal]
   
2. Ernst-Jochen Thiele
   Preface: A selection of papers presented at the Logic Colloquium '89. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:62, n:1, pp:19- [Journal]
   
3. Kosta Dosen
   Rudimentary Kripke Models for the Intuitionistic Propositional Calculus. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:62, n:1, pp:21-49 [Journal]
   
4. Harvey Friedman, Stephen G. Simpson, Xiaokang Yu
   Periodic Points and Subsystems of Second-Order Arithmetic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:62, n:1, pp:51-64 [Journal]
   
5. Grigori Mints
   A Normal Form for Logical Derivations Implying One for Arithmetic Derivations. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1993, v:62, n:1, pp:65-79 [Journal]