Journals in DBLP

Arch. Math. Log.
1998, volume: 37, number: 3

1. 
   Two applications of Boolean models. [Citation Graph (, )][DBLP]
   
   
2. 
   Consistency proof via pointwise induction. [Citation Graph (, )][DBLP]
   
   
3. 
   All finitely axiomatizable subframe logics containing the provability logic CSM ₀_{0} are decidable. [Citation Graph (, )][DBLP]
   
   
4. 
   Mob families and mad families. [Citation Graph (, )][DBLP]
   
   
5. 
   A characterization of the S₁\Sigma_1-definable functions of KPw+ (uniform AC)KP\omega + (uniform\; AC). [Citation Graph (, )][DBLP]