13629 results in The Journal of Symbolic Logic
William E. McMahon. Hans Reichenbach's philosophy of grammar. Janua linguarum, series maior,no. 90. Mouton, The Hague and Paris1976, 284 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-157
- Print publication:
- March 1978
-
- Article
- Export citation
Note on an induction axiom
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-117
- Print publication:
- March 1978
-
- Article
- Export citation
Jon Barwise. Admissible sets and structures. An approach to definability theory. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, XIV + 394 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-144
- Print publication:
- March 1978
-
- Article
- Export citation
Aubert Daigneault. Introduction. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 1–5. - William Craig. Unification and abstraction in algebraic logic. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 6–57. - J. Donald Monk. Connections between combinatorial theory and algebraic logic. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 58–91. - Helena Rasiowa. Post algebras as a semantic foundation of m-valued logics. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 92–142. - Gonzalo E. Reyes. From sheaves to logic. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 143–204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-147
- Print publication:
- March 1978
-
- Article
- Export citation
The model theory of ordered differential fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-91
- Print publication:
- March 1978
-
- Article
- Export citation
Saturated ideals
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-76
- Print publication:
- March 1978
-
- Article
- Export citation
Sheila A. Greibach. Theory of program structures: schemes, semantics, verification. Lecture notes in computer science, vol. 36. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, xv + 364 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-156
- Print publication:
- March 1978
-
- Article
- Export citation
JSL volume 43 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1978
-
- Article
-
- You have access
- Export citation
Provable wellorderings of formal theories for transfinitely iterated inductive definitions
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-125
- Print publication:
- March 1978
-
- Article
- Export citation
Existentially complete torsion-free nilpotent groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-134
- Print publication:
- March 1978
-
- Article
- Export citation
Nicholas Rescher. A theory of possibility. A constructivistic and conceptualistic account of possible individuals and possible worlds. University of Pittsburgh Press, Pittsburgh1976 (© 1975), xvi + 255 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-159
- Print publication:
- March 1978
-
- Article
- Export citation
M. A. Dickmann. Large infinitary languages. Model theory. Studies in logic and the foundations of mathematics, vol. 83. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, xv+ 464 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 144-145
- Print publication:
- March 1978
-
- Article
- Export citation
Controlling the dependence degree of a recursively enumerable vector space1
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 13-22
- Print publication:
- March 1978
-
- Article
- Export citation
Helena Rasiowa. Wstęp do matematyki współczesnej. Third edition. Biblioteka matematyczna, vol. 30. Polısh original of the foregoing. Państwowe Wydawnictwo Naukowe, Warsaw1971, 302 pp. - Rózsa Peter. Rekursive Funktionen in der Komputer-Theorie. Akadémiai Kiadó, Budapest1976, 190 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, p. 154
- Print publication:
- March 1978
-
- Article
- Export citation
Sets which do not have subsets of every higher degree1
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-138
- Print publication:
- March 1978
-
- Article
- Export citation
JSL volume 43 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1978
-
- Article
-
- You have access
- Export citation
Paul Bernays. Vorwort. Abhandlungen zur Philosophie der Mathematik, von Paul Bernays, Wissenschaftliche Buchgesellschaft, Darmstadt1976, S. VII–X.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
- Print publication:
- March 1978
-
- Article
- Export citation
Rings which admit elimination of quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 92-112
- Print publication:
- March 1978
-
- Article
- Export citation
Consistency notions in illative combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 4 / December 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-529
- Print publication:
- December 1977
-
- Article
- Export citation
Index of Reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 4 / December 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 616-620
- Print publication:
- December 1977
-
- Article
- Export citation