The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1973, volume: 38, number: 2

  1. Lars Svenonius
    On the First-Order Logic of Terms. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:177-188 [Journal]
  2. N. C. K. Phillips
    The Set Theoretical Foundations of Nonstandard Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:189-192 [Journal]
  3. Fred Galvin, Karel Prikry
    Borel Sets and Ramsey's Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:193-198 [Journal]
  4. Richard E. Ladner
    Mitotic Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:199-211 [Journal]
  5. R. S. Pierce
    Bases of Countable Boolean Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:212-214 [Journal]
  6. Satoko Titani
    A Proof of the Cut-Elimination Theorem in Simple Type Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:215-226 [Journal]
  7. W. Marek
    Observations Concerning Elementary Extensions of omega-Models. II. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:227-231 [Journal]
  8. Philip T. Shepard
    A Finite Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:232-248 [Journal]
  9. S. Barry Cooper
    Minimal Degrees and the Jump Operator. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:249-271 [Journal]
  10. Glen H. Suter
    Recursive Elements and Constructive Extensions of Computable Local Integral Domains. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:272-290 [Journal]
  11. Andrzej Ehrenfeucht
    Discernible Elements in Models for Peano Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:291-292 [Journal]
  12. Carl G. Jockusch Jr.
    An Application of sigma04 Determinancy to the Degrees of Unsolvability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:293-294 [Journal]
  13. Clement F. Kent
    The Relation of A to Prov A in the Lindenbaum Sentence Algebra. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:295-298 [Journal]
  14. E. M. Kleinberg, Joel I. Seiferas
    Infinite Exponent Partition Relations and Well-Ordered Choice. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:299-308 [Journal]
  15. P. M. Cohn
    The Word Problem for Free Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:309-314 [Journal]
  16. Harvey Friedman
    The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:315-319 [Journal]
  17. Anil Nerode, K. Jon Barwise
    Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:2, pp:348-358 [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