
Journals in DBLP
Math. Log. Q. 2005, volume: 51, number: 4
 Norihiro Kamide
A spatial modal logic with a location interpretation. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:4, pp:331341 [Journal]
 Lorenzo Carlucci
Worms, gaps, and hydras. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:4, pp:342350 [Journal]
 Thierry Coquand, Bas Spitters
A constructive proof of the PeterWeyl theorem. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:4, pp:351359 [Journal]
 Josef Berger, Hajime Ishihara
Brouwer's fan theorem and unique existence in constructive analysis. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:4, pp:360364 [Journal]
 Hisato Muraki
Largest fixed points of set continuous operators and Boffa's AntiFoundation. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:4, pp:365376 [Journal]
 Beibut Sh. Kulpeshov, H. Dugald Macpherson
Minimality conditions on circularly ordered structures. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:4, pp:377399 [Journal]
 Hervé Perdry
Henselian valued fields: a constructive point of view. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:4, pp:400416 [Journal]
 Henryk Kotlarski, Bozena Piekart
Some variations of the Hardy hierarchy. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:4, pp:417434 [Journal]
