The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Journals in DBLP

J. Symb. Log.
1975, volume: 40, number: 3

  1. Diana Schmidt
    Bounds for the Closure Ordinals of Replete Monotonic Increasing Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:305-316 [Journal]
  2. Julia F. Knight
    Types Omitted in Uncountable Models of Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:317-320 [Journal]
  3. Michael Beeson
    The Nonderivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:321-346 [Journal]
  4. John R. Myhill
    Constructive Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:347-382 [Journal]
  5. Miroslav Benda
    Construction of Models from Groups of Permutations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:383-388 [Journal]
  6. Jerome I. Malitz
    Complete Theories with Countably many Rigid Nonisomorphic Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:389-392 [Journal]
  7. T. B. Flannagan
    On an Extension of Hilbert's Second epsilon-Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:393-397 [Journal]
  8. Robert A. Di Paola
    A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:398-400 [Journal]
  9. Alistair H. Lachlan
    Uniform Enumeration Operations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:401-409 [Journal]
  10. Jörg Flum
    L(Q)-Preservation Theorems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:410-418 [Journal]
  11. Daniel Andler
    Semi-Minimal Theories and Categoricity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:419-438 [Journal]
  12. S. K. Thomason
    Categories of Frames for Modal Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:439-442 [Journal]
  13. Roy Edelstein
    An Interpolation Lemma for the Pure Implicational Calculus. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1975, v:40, n:3, pp:443-444 [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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002