The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1988, volume: 53, number: 1

  1. Azriel Levy
    Alfred Tarski's Work in Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:2-6 [Journal]
  2. Lou van den Dries
    Alfred Tarski's Elimination Theory for Real Closed Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:7-19 [Journal]
  3. John Doner, Wilfrid Hodges
    Alfred Tarski and Decidable Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:20-35 [Journal]
  4. Willem J. Blok, Don Pigozzi
    Alfred Tarski's Work on General Metamathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:36-50 [Journal]
  5. John Etchemendy
    Tarski on Truth and Logical Consequence. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:51-79 [Journal]
  6. Patrick Suppes
    Philosophical Implications of Tarski's Work. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:80-91 [Journal]
  7. C. A. Johnson
    Seminormal lambda-Generated Ideals on Pk lambda. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:92-102 [Journal]
  8. Robert S. Lubarsky
    Correction to "Simple R. E. Degree Structures". [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:103-104 [Journal]
  9. Stefano Berardi
    Equalization of Finite Flowers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:105-123 [Journal]
  10. Bruno Poizat
    MM. Borel, Tits, Zil'ber et le General Nonsense. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:124-131 [Journal]
  11. Bruno Poizat
    Missionary Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:132-145 [Journal]
  12. Laura L. Mayer
    Vaught's Conjecture for o-Minimal Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:146-159 [Journal]
  13. Gaisi Takeuti
    Boolean Simple Groups and Boolean Simple Rings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:160-173 [Journal]
  14. Steffen Lempp
    A High Strongly Noncappable Degree. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:174-187 [Journal]
  15. Gary A. Martin
    Definability in Reducts of Algebraically Closed Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:188-199 [Journal]
  16. Mitsuhiro Okada
    On a Theory of Weak Implications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:200-211 [Journal]
  17. Michael E. Mytilinaios, Theodore A. Slaman
    sigma2-Collection and the Infinite Injury Priority Method. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:212-221 [Journal]
  18. Ian M. Hodkinson, H. D. Macpherson
    Relational Structures Determined by Their Finite Induced Substructures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:222-230 [Journal]
  19. Rami P. Grossberg
    A Downward Lowenheim-Skolem Theorem for Infinitary Theories which have the Unsuperstability Property. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:231-242 [Journal]
  20. Miroslaw Kutylowski
    Finite Automata, Real Time Processes and Counting Problems in Bounded Arithmetics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:243-258 [Journal]
  21. Ilias G. Kastanas
    Initial Segments of triangle1 2n + 1 -Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:259-268 [Journal]
  22. T. G. Kucera
    Generalizations of Deissler's Minimality Rank. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:269-283 [Journal]
  23. T. G. Kucera
    Positive Deissler Rank and the Complexity of Injective Modules. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:284-293 [Journal]
  24. R. Gurevic
    On Ultracoproducts of Compact Hausdorff Spaces. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:294-300 [Journal]
  25. Krister Segerberg
    Meeting of the Association for Symbolic Logic: Auckland, 1986. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:1, pp:330-334 [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