The SCEAS System
Navigation Menu

Journals in DBLP

Math. Log. Q.
2003, volume: 49, number: 5

  1. Jan von Plato
    Translations from natural deduction to sequent calculus. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:5, pp:435-443 [Journal]
  2. 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:444-454 [Journal]
  3. 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:455-466 [Journal]
  4. Wojciech Buszkowski
    Sequent systems for compact bilinear logic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:5, pp:467-474 [Journal]
  5. Enrique Casanovas
    Some remarks on indiscernible sequences. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:5, pp:475-478 [Journal]
  6. 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:479-484 [Journal]
  7. 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:485-510 [Journal]
  8. 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:511-518 [Journal]
  9. Norihiro Kamide
    A note on dual-intuitionistic logic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:5, pp:519-524 [Journal]
  10. 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:525-535 [Journal]
  11. Joel David Hamkins, Philip D. Welch
    Pf != NPf for almost all f. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:5, pp:536-540 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002