The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1970, volume: 35, number: 2

  1. S. K. Thomason
    On Initial Segments of Hyperdegrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:2, pp:189-197 [Journal]
  2. Hisao Tanaka
    On Analytic Well-Orderings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:2, pp:198-204 [Journal]
  3. Donald A. Martin, Marian Boykan Pour-El
    Axiomatizable Theories with Few Axiomatizable Extensions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:2, pp:205-209 [Journal]
  4. M. R. Krom
    The Decision Problem for Formulas in Prenex Conjunctive Normal Form with Binary Disjunctions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:2, pp:210-216 [Journal]
  5. M. H. Lob
    A Model Theoretic Characterization of Effective Operations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:2, pp:217-222 [Journal]
  6. James C. Owings Jr.
    The Meta-R.E. Sets, but Not the pi11 Sets, Can Be Enumerated Without Repetition. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:2, pp:223-229 [Journal]
  7. R. R. Rockingham Gill
    The Craig-Lyndon Interpolation Theorem in 3-Valued Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:2, pp:230-238 [Journal]
  8. Eugene W. Madison
    A Note on Computable Real Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:2, pp:239-241 [Journal]
  9. Frederic Brenton Fitch
    Correction to a Paper on Modal Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:2, pp:242- [Journal]
  10. C. E. M. Yates
    Initial Segments of the Degrees of Unsolvability Part II: Minimal Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:2, pp:243-266 [Journal]
  11. A. Trew
    Nonstandard Theories of Quantification and Identity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:2, pp:267-294 [Journal]
  12. James K. Feibleman, R. M. Smullyan, Robert L. Vaught
    Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:2, pp:352-363 [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