The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1976, volume: 41, number: 4

  1. M. H. Lob
    Embedding First Order Predicate Logic in Fragments of Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:4, pp:705-718 [Journal]
  2. Johan Moldestad, Dag Normann
    Models for Recursion Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:4, pp:719-729 [Journal]
  3. Kenneth Slonneger
    A Complete Infinitary Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:4, pp:730-746 [Journal]
  4. Alonzo Church
    Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:4, pp:747-760 [Journal]
  5. Stephen Cole Kleene
    The Work of Kurt Gödel. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:4, pp:761-778 [Journal]
  6. George Boolos
    On Deciding the Truth of Certain Statements Involving the Notion of Consistency. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:4, pp:779-781 [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