13629 results in The Journal of Symbolic Logic
Finite axiomatizability for equational theories of computable groupoids
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1018-1022
- Print publication:
- September 1989
-
- Article
- Export citation
Allen Hazen. Predicative logics. 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. 331–407.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1092-1094
- Print publication:
- September 1989
-
- Article
- Export citation
Π11 Borel sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 915-920
- Print publication:
- September 1989
-
- Article
- Export citation
Barry E. Jacobs, Applied database logic I: fundamental database issues, Prentice-Hall, Englewood Cliffs, N.J., 1985, xviii + 334 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 627-628
- Print publication:
- June 1989
-
- Article
- Export citation
J. Michael Dunn. Relevant predication I: the formal theory, Journal of philosophical logic, vol. 16 (1987), pp. 347–381.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 615-616
- Print publication:
- June 1989
-
- Article
- Export citation
Uniformization principles
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 441-459
- Print publication:
- June 1989
-
- Article
- Export citation
Algebraic logic conference, Budapest, 1988
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, p. 686
- Print publication:
- June 1989
-
- Article
- Export citation
JSL volume 54 issue 2 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- June 1989
-
- Article
-
- You have access
- Export citation
Wolfgang Schüler. Grundlegungen der Mathematik in transzendentaler Kritik, Frege und Hilbert, Schriften zur Transzendentalphilosophie, vol. 3, Felix Meiner Verlag, Hamburg1983, xv + 190 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, p. 622
- Print publication:
- June 1989
-
- Article
- Export citation
Random models and the Maslov class
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-466
- Print publication:
- June 1989
-
- Article
- Export citation
Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 354-362
- Print publication:
- June 1989
-
- Article
- Export citation
An expansion of F̃p
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 512-521
- Print publication:
- June 1989
-
- Article
- Export citation
Peter Sells, Lectures on contemporary syntactic theories: an introduction to government-binding theory, generalized phrase structure grammar, and lexical-functional grammar, CSLI lecture notes, no. 3. Center for the Study of Language and Information, Stanford 1985, also distributed by the University of Chicago Press, Chicago, viii + 214 pp. - Wasow Thomas. Postscript, Therein, pp. 193–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 628-630
- Print publication:
- June 1989
-
- Article
- Export citation
On ideals and stationary reflection
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 568-575
- Print publication:
- June 1989
-
- Article
- Export citation
1988 annual meeting of the Australasian Association for Logic, Perth, 1988
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-685
- Print publication:
- June 1989
-
- Article
- Export citation
Christian Bennet. On a problem by D. Guaspari, Logic and abstraction, Essays dedicated to Per Lindström on his fiftieth birthday, edited by Mats Furberg, Thomas Wetterström, and Claes Åberg, Acta philosophica Gothoburgensia, no. 1, Acta Universitatis Gothobargensis, Göteborg1986, pp. 61–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, p. 630
- Print publication:
- June 1989
-
- Article
- Export citation
A jump class of noncappable degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 324-353
- Print publication:
- June 1989
-
- Article
- Export citation
Desmond MacHale. George Boole. His life and work. Profiles of genius series, vol. 2. Boole Press, Dublin1985, xv + 304 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 619-620
- Print publication:
- June 1989
-
- Article
- Export citation
Definability via enumerations
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 428-440
- Print publication:
- June 1989
-
- Article
- Export citation
Slow growing versus fast growing
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 608-614
- Print publication:
- June 1989
-
- Article
- Export citation