The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1966, volume: 31, number: 2

  1. C. E. M. Yates
    A Minimal Pair of Recursively Enumerable Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:2, pp:159-168 [Journal]
  2. Calvin C. Elgot, Michael O. Rabin
    Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:2, pp:169-181 [Journal]
  3. James W. Thatcher
    Decision Problems for Multiple Successor Arithmetics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:2, pp:182-190 [Journal]
  4. E. J. Lemmon
    Algebraic Semantics for Modal Logics II. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:2, pp:191-218 [Journal]
  5. Philip K. Hooper
    The Undecidability of the Turing Machine Immortality Problem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:2, pp:219-234 [Journal]
  6. Roland Fraisse
    Une Generalisation de L'Ultraproduit. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:2, pp:235-244 [Journal]
  7. John N. Crossley
    Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1966, v:31, n:2, pp:290-302 [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