The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1969, volume: 34, number: 2

  1. Gabor T. Herman
    The Unsolvability of the Uniform Halting Problem for Two State Turing Machines. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:161-165 [Journal]
  2. J. Richard Büchi, Lawrence H. Landweber
    Definability in the Monadic Second-Order Theory of Successor. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:166-170 [Journal]
  3. Stephen D. Comer
    Finite Inseparability of Some Theories of Cylindrification Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:171-176 [Journal]
  4. Thomas J. Grilliot
    Hierarchies Based on Objects of Finite Type. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:177-182 [Journal]
  5. Peter H. Krauss
    Representation of Symmetric Probability Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:183-193 [Journal]
  6. James C. Owings Jr.
    pi11 Sets, omega-Sets, and Metacompleteness. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:194-204 [Journal]
  7. E. M. Kleinberg
    The Independence of Ramsey's Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:205-206 [Journal]
  8. N. Z. Shapiro
    Real Numbers and Functions in the Kleene Hierarchy and Limits of Recursive, Rational Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:207-214 [Journal]
  9. R. A. Bull
    Note on a Paper in Tense Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:215-218 [Journal]
  10. Richard A. Platek
    Eliminating the Continuum Hypothesis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:219-225 [Journal]
  11. Jon Barwise
    Infinitary Logic and Admissible Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:226-252 [Journal]
  12. M. J. Cresswell
    A Conjunctive Normal Form For S3.5. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:253-255 [Journal]
  13. Robert I. Soare
    A Note on Degrees of Subsets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:256- [Journal]
  14. R. A. Bull
    On Modal Logic with Propositional Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:257-263 [Journal]
  15. John P. Burgess
    Probability Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:264-274 [Journal]
  16. P. D. Finch
    On the Structure of Quantum Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:275-282 [Journal]
  17. Ernest A. Edmonds
    Independence of Rose's Axioms for m-Valued Implication. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:283-284 [Journal]
  18. Robert I. Soare
    Constructive Order Types on Cuts. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1969, v:34, n:2, pp:285-289 [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