The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1939, volume: 4, number: 2

  1. C. J. Ducasse
    Symbols, Signs, and Signals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1939, v:4, n:2, pp:41-52 [Journal]
  2. J. Barkley Rosser
    An Informal Exposition of Proofs of Godel's Theorems and Church's Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1939, v:4, n:2, pp:53-60 [Journal]
  3. L. Chwistek
    A Formal Proof of Godel's Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1939, v:4, n:2, pp:61-68 [Journal]
  4. Abraham Robinson
    On the Independence of the Axioms of Definiteness (Axiome Der Bestimmtheit). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1939, v:4, n:2, pp:69-72 [Journal]
  5. P. G. J. Vredenduin
    A System of Strict Implication. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1939, v:4, n:2, pp:73-76 [Journal]
  6. C. H. Langford
    A Theorem on Deducibility for Second-Order Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1939, v:4, n:2, pp:77-79 [Journal]
  7. J. Barkley Rosser
    Definition by Induction in Quine's New Foundations for Mathematical Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1939, v:4, n:2, pp:80-81 [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