The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1972, volume: 37, number: 2

  1. Nicolas D. Goodman
    A simplification of combinatory Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:225-246 [Journal]
  2. Saharon Shelah
    On Models with Power-Like Ordering. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:247-267 [Journal]
  3. Carl G. Jockusch Jr.
    Ramsey's Theorem and Recursion Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:268-280 [Journal]
  4. Stanley S. Wainer
    Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:281-292 [Journal]
  5. Harold Simmons
    Existentially Closed Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:293-310 [Journal]
  6. G. Kreisel
    Which Number Theoretic Problems can be Solved in Recursive Progressions on O 1/1 -Paths Through O? [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:311-334 [Journal]
  7. Paul C. Eklof
    Some Model Theory of Abelian Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:335-342 [Journal]
  8. Stephen J. Garland
    Generalized Interpolation Theorems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:343-351 [Journal]
  9. M. H. Lob
    A Reduction Theorem for Predicate Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:352-354 [Journal]
  10. W. A. Howard
    A System of Abstract Constructive Ordinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:355-374 [Journal]
  11. Dov M. Gabbay
    Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:375-384 [Journal]
  12. Peter B. Andrews
    General Models, Descriptions, and Choice in Type Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:385-394 [Journal]
  13. Peter B. Andrews
    General Models and Extensionality. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:395-397 [Journal]
  14. Charles D. Parsons, Richard J. Orgass, Richmond H. Thomason
    Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:430-447 [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