13629 results in The Journal of Symbolic Logic
Near-equational and equational systems of logic for partial functions. I1
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 795-827
- Print publication:
- September 1989
-
- Article
- Export citation
Peter Aczel. Non-well-founded sets. With a foreword by Jon Barwise. CSLI lecture notes, no. 14. Center for the Study of Language and Information, Stanford1988, also distributed by the University of Chicago Press, Chicago, xx + 131 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1111-1114
- Print publication:
- September 1989
-
- Article
- Export citation
A first approach to abstract modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1042-1062
- Print publication:
- September 1989
-
- Article
- Export citation
JSL volume 54 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- September 1989
-
- Article
-
- You have access
- Export citation
Groups of finite Morley rank with transitive group automorphisms
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1080-1082
- Print publication:
- September 1989
-
- Article
- Export citation
Extensions of arithmetic for proving termination of computations
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 779-794
- Print publication:
- September 1989
-
- Article
- Export citation
Two results on borel orders
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 865-874
- Print publication:
- September 1989
-
- Article
- Export citation
Nonabsoluteness of elementary embeddings
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 774-778
- Print publication:
- September 1989
-
- Article
- Export citation
Creativeness and completeness in recursion categories of partial recursive operators
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1023-1041
- Print publication:
- September 1989
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1119-1120
- Print publication:
- September 1989
-
- Article
- Export citation
Judy Roitman. Height and width of superatomic Boolean algebras. Proceedings of the American Mathematical Society, vol. 94 (1985), pp. 9–14. - James E. Baumgartner and Saharon Shelah. Remarks on superatomic Boolean algebras. Annals of pure and applied logic, vol. 33 (1987), pp. 109–129.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1108-1109
- Print publication:
- September 1989
-
- Article
- Export citation
Definable equivalence relations on algebraically closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 928-935
- Print publication:
- September 1989
-
- Article
- Export citation
A Borel reductibility theory for classes of countable structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 894-914
- Print publication:
- September 1989
-
- Article
- Export citation
Uwe Schöning. Complexity and structure. Lecture notes in computer science, vol. 211. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1986, v + 99 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1106-1107
- Print publication:
- September 1989
-
- Article
- Export citation
Digital simulation of analog computation and Church's thesis
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1011-1017
- Print publication:
- September 1989
-
- Article
- Export citation
Wilfrid Hodges. Elementary predicate logic. Handbook of philosophical logic, Volume I, Elements of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 1–131.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1089-1090
- Print publication:
- September 1989
-
- Article
- Export citation
Johan van Benthem and Kees Doets. Higher-order logic. Handbook of philosophica logic, Volume I, Elements of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 275–329.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1090-1092
- Print publication:
- September 1989
-
- Article
- Export citation
Eric Livingston. The ethnomethodological foundations of mathematics. Studies in ethnomethodology. Routledge & Kegan Paul, London, Boston, and Henley, 1986, xiii + 241 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1104-1105
- Print publication:
- September 1989
-
- Article
- Export citation
The cofinality of cardinal invariants related to measure and category
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 719-726
- Print publication:
- September 1989
-
- Article
- Export citation
Isols and the pigeonhole principle
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 833-846
- Print publication:
- September 1989
-
- Article
- Export citation