The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1955, volume: 20, number: 2

  1. Raymond J. Nelson
    Simplest Normal Truth Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1955, v:20, n:2, pp:105-108 [Journal]
  2. Boleslaw Sobocinski
    Note on a Problem of Paul Bernays. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1955, v:20, n:2, pp:109-114 [Journal]
  3. M. H. Lob
    Solution of a Problem of Leon Henkin. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1955, v:20, n:2, pp:115-118 [Journal]
  4. Shen Yuting
    Two Semantical Paradoxes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1955, v:20, n:2, pp:119-120 [Journal]
  5. Herman Rubin, Patrick Suppes
    A Note on Two-Place Predicates and Fitting Sequences of Measure Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1955, v:20, n:2, pp:121-122 [Journal]
  6. Robert L. Stanley
    Simplified Foundations for Mathematical Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1955, v:20, n:2, pp:123-139 [Journal]
  7. Richard Montague
    On the Paradox of Grounded Classes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1955, v:20, n:2, pp:140- [Journal]
  8. W. V. Quine
    A Proof Procedure for Quantification Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1955, v:20, n:2, pp:141-149 [Journal]
  9. Alan Ross Anderson
    Correction to a Paper on Modal Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1955, v:20, n:2, pp:150- [Journal]
  10. Clifford Spector
    Recursive Well-Orderings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1955, v:20, n:2, pp:151-163 [Journal]
  11. William Craig
    Eighteenth Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1955, v:20, n:2, pp:200-206 [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