The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Rolando Chuaqui
    Forcing for the Impredicative Theory of Classes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:1-18 [Journal]
  2. H. E. Rose
    E alpha -Arithmetic and Transfinite Induction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:19-30 [Journal]
  3. Richard Mansfield
    The Completeness Theorem for Infinitary Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:31-34 [Journal]
  4. Peter Aczel
    Describing Ordinals Using Functionals of Transfinite Type. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:35-47 [Journal]
  5. J. R. Shilleto
    Minimum Models of Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:48-54 [Journal]
  6. Albert R. Meyer, Patrick C. Fischer
    Computational Speed-Up by Effective Operators. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:55-68 [Journal]
  7. Wilfrid Hodges
    On Order-Types of Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:69-70 [Journal]
  8. Jussi Ketonen
    On Nonregular Ultrafilters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:71-74 [Journal]
  9. Philip Olin
    Products of Two-Sorted Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:75-80 [Journal]
  10. Thomas J. Grilliot
    Omitting Types: Application to Recursion Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:81-89 [Journal]
  11. Erik Ellentuck
    Nonrecursive Combinatorial Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:90-95 [Journal]
  12. Andrzej Mostowski
    A Transfinite Sequence of omega-Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:96-102 [Journal]
  13. Andreas Blass
    The Intersection of Nonstandard Models of Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:103-106 [Journal]
  14. Saharon Shelah
    Uniqueness and Characterization of Prime Models over Sets for Totally Transcendental First-Order Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:107-113 [Journal]
  15. Erik Ellentuck
    The Positive Properties of Isolic Integers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:114-132 [Journal]
  16. John W. Rosenthal
    A New Proof of a Theorem of Shelah. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:133-134 [Journal]
  17. Dov M. Gabbay
    Applications of Trees to Intermediate Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:135-138 [Journal]
  18. Louise Hay
    A Discrete Chain of Degrees of Index Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:139-149 [Journal]
  19. S. K. Thomason
    Semantic Analysis of Tense Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:150-158 [Journal]
  20. Alasdair Urquhart
    Semantics for Relevant Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:159-169 [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