Journals in DBLP

Arch. Math. Log.
1998, volume: 37, number: 5-6

1. 
   Editorial Logic Colloquium '95, Haifa, Israel. [Citation Graph (, )][DBLP]
   
   
2. 
   A proof-theoretic analysis of collection. [Citation Graph (, )][DBLP]
   
   
3. 
   Note on generalizing theorems in algebraically closed fields. [Citation Graph (, )][DBLP]
   
   
4. 
   Planar and braided proof-nets for multiplicative linear logic with mix. [Citation Graph (, )][DBLP]
   
   
5. 
   Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. [Citation Graph (, )][DBLP]
   
   
6. 
   Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic. [Citation Graph (, )][DBLP]
   
   
7. 
   Elimination of Skolem functions for monotone formulas in analysis. [Citation Graph (, )][DBLP]
   
   
8. 
   The m\mu quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals. [Citation Graph (, )][DBLP]
   
   
9. 
   Normal deduction in the intuitionistic linear logic. [Citation Graph (, )][DBLP]
   
   
10. 
    Bounding derivation lengths with functions from the slow growing hierarchy. [Citation Graph (, )][DBLP]