Journals in DBLP

Math. Log. Q.
2004, volume: 50, number: 2

1. Roberto Cignoli, Antoni Torrens
   Glivenko like theorems in natural expansions of BCK-logic. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2004, v:50, n:2, pp:111-125 [Journal]
   
2. Enrique Casanovas, Rafel Farré
   Weak forms of elimination of imaginaries. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2004, v:50, n:2, pp:126-140 [Journal]
   
3. Kyriakos Keremedis
   Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2004, v:50, n:2, pp:141-151 [Journal]
   
4. Virginie Mazoyer
   Polygones. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2004, v:50, n:2, pp:152-168 [Journal]
   
5. Marcin Mostowski, Anna Wasilewska
   Arithmetic of divisibility in finite models. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2004, v:50, n:2, pp:169-174 [Journal]
   
6. Gurgen Asatryan
   A solution to identities problem in 2-element HSI-algebras. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2004, v:50, n:2, pp:175-178 [Journal]
   
7. Wafik Boulos Lotfallah
   An Ehrenfeucht-Fraïssé class game. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2004, v:50, n:2, pp:179-188 [Journal]
   
8. Guohua Wu
   Quasi-complements of the cappable degrees. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2004, v:50, n:2, pp:189-201 [Journal]
   
9. Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
   A secondary semantics for Second Order Intuitionistic Propositional Logic. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2004, v:50, n:2, pp:202-210 [Journal]
   
10. György Serény
    Boolos-style proofs of limitative theorems. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:2, pp:211-216 [Journal]