
Journals in DBLP
Math. Log. Q. 2003, volume: 49, number: 5
 Jan von Plato
Translations from natural deduction to sequent calculus. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:5, pp:435443 [Journal]
 Kyriakos Keremedis, Eleftherios Tachtsis
Choice principles for special subsets of the real line. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:5, pp:444454 [Journal]
 Omar de la Cruz, Eric Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin
Metric spaces and the axiom of choice. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:5, pp:455466 [Journal]
 Wojciech Buszkowski
Sequent systems for compact bilinear logic. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:5, pp:467474 [Journal]
 Enrique Casanovas
Some remarks on indiscernible sequences. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:5, pp:475478 [Journal]
 Seyed Mohammad Bagheri, Morteza Moniri
Some results on Kripke models over an arbitrary fixed frame. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:5, pp:479484 [Journal]
 Manuel Lerman, Richard Watnick
Computable choice functions for computable linear orderings. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:5, pp:485510 [Journal]
 Michael Rathjen, Robert S. Lubarsky
On the regular extension axiom and its variants. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:5, pp:511518 [Journal]
 Norihiro Kamide
A note on dualintuitionistic logic. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:5, pp:519524 [Journal]
 Katsumasa Ishii
New sequent calculi for Visser's Formal Propositional Logic. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:5, pp:525535 [Journal]
 Joel David Hamkins, Philip D. Welch
P^{f} != NP^{f} for almost all f. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:5, pp:536540 [Journal]
