The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1953, volume: 18, number: 2

  1. Robert L. Stanley
    An Extended Procedure in Quantificational Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1953, v:18, n:2, pp:97-104 [Journal]
  2. A. N. Prior
    On Propositions Neither Necessary Nor Impossible. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1953, v:18, n:2, pp:105-108 [Journal]
  3. J. C. C. McKinsey
    Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1953, v:18, n:2, pp:109-113 [Journal]
  4. Shen Yuting
    Paradox of the Class of All Grounded Classes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1953, v:18, n:2, pp:114- [Journal]
  5. John R. Myhill
    Arithmetic with Creative Definitions by Induction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1953, v:18, n:2, pp:115-118 [Journal]
  6. W. V. Quine
    On omega;-Inconsistency and a So-Called Axiom of Infinity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1953, v:18, n:2, pp:119-124 [Journal]
  7. J. Richard Büchi
    Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1953, v:18, n:2, pp:125-135 [Journal]
  8. Robert McNaughton
    Some Formal Relative Consistency Proofs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1953, v:18, n:2, pp:136-144 [Journal]
  9. John C. Shepherdson
    Inner Models for Set Theory - Part III. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1953, v:18, n:2, pp:145-167 [Journal]
  10. Hao Wang
    Problems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1953, v:18, n:2, pp:186- [Journal]
  11. Atwell R. Turquette
    Fifteenth Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1953, v:18, n:2, pp:187-192 [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