Journals in DBLP

Arch. Math. Log.
1997, volume: 37, number: 1

1. 
   Non-definability of the Ackermann function with type 1 partial primitive recursion. [Citation Graph (, )][DBLP]
   
   
2. 
   The number of lines in Frege proofs with substitution. [Citation Graph (, )][DBLP]
   
   
3. 
   An intuitionistic fixed point theory. [Citation Graph (, )][DBLP]
   
   
4. 
   Sierpinski-Zygmund functions that are Darboux, almost continuous, or have a perfect road. [Citation Graph (, )][DBLP]
   
   
5. 
   Fragments of HAHA based on S₁\Sigma_1-induction. [Citation Graph (, )][DBLP]
   
   
6. 
   The function ëa/mû\lfloor a/m\rfloor in sharply bounded arithmetic. [Citation Graph (, )][DBLP]
   
   
7. 
   On the Jordan-Hölder decomposition of proof nets. [Citation Graph (, )][DBLP]