The SCEAS System
Navigation Menu

Journals in DBLP

Bulletin of Symbolic Logic
2002, volume: 8, number: 3

  1. Mark van Atten, Dirk van Dalen
    Arguments for the continuity principle. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2002, v:8, n:3, pp:329-347 [Journal]
  2. Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
    Provability with finitely many variables. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2002, v:8, n:3, pp:348-379 [Journal]
  3. Eric Rosen
    Some aspects of model theory and finite structures. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2002, v:8, n:3, pp:380-403 [Journal]
  4. Jaakko Hintikka
    Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2002, v:8, n:3, pp:404-423 [Journal]
  5. Valentina S. Harizanov
    Computability-theoretic complexity of countable structures. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2002, v:8, n:3, pp:457-477 [Journal]
  6. R. Gregory Taylor
    Zermelo's Cantorian theory of systems of infinitely long propositions. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2002, v:8, n:3, pp:478-515 [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