13629 results in The Journal of Symbolic Logic
Les automorphismes d'un ensemble fortement minimal
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-251
- Print publication:
- March 1992
-
- Article
- Export citation
John Etchemendy. The concept of logical consequence. Harvard University Press, Cambridge, Mass., and London, 1990, vii + 174 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-255
- Print publication:
- March 1992
-
- Article
- Export citation
Bengt Nordström, Kent Petersson, and Jan M. Smith. Programming in Martin-Löf's type theory. An introduction. The international series of monographs on computer science, no. 7. Clarendon Press, Oxford University Press, Oxford and New York1990, x + 221 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-274
- Print publication:
- March 1992
-
- Article
- Export citation
Non-standard logics for automated reasoning, edited by Philippe Smets, Abe Mamdani, Didier Dubois, and Henri Prade, Academic Press, London etc. 1988, x + 334 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-281
- Print publication:
- March 1992
-
- Article
- Export citation
Donald A. Martin. The largest countable this, that, and the other. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, pp. 97–106. - Alexander S. Kechris, Donald A. Martin, and Robert M. Solovay. Introduction to Q-theory. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, pp. 199–282. - Steve Jackson. AD and the projective ordinals. Cabal seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture notes in mathematics, vol. 1333, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1988, pp. 117–220.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-264
- Print publication:
- March 1992
-
- Article
- Export citation
An inside view of EXP; or, The closed fragment of the provability logic of IΔ0 + Ω1 with a prepositional constant for EXP
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-165
- Print publication:
- March 1992
-
- Article
- Export citation
Barbara H. Partee, Alice ter Meulen, and Robert E. Wall. Mathematical methods in linguistics. Studies in linguistics and philosophy, vol. 30. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xx + 663 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-272
- Print publication:
- March 1992
-
- Article
- Export citation
Lusin-Sierpiński index for the internal sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-178
- Print publication:
- March 1992
-
- Article
- Export citation
Learning via queries in [+, <]
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 53-81
- Print publication:
- March 1992
-
- Article
- Export citation
John T. Baldwin. Fundamentals of stability theory. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1988, xiii + 447 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-259
- Print publication:
- March 1992
-
- Article
- Export citation
Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. Logic programming, Proceedings of the fifth international conference and symposium, Volume 2, edited by Robert A. Kowalski and Kenneth A. Bowen, Series in logic programming, The MIT Press, Cambridge, Mass., and London, 1988, pp. 1070–1080. - Kit Fine. The justification of negation as failure. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 263–301.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-277
- Print publication:
- March 1992
-
- Article
- Export citation
Ralph N. McKenzie, George F. McNulty, and Walter F. Taylor. Algebras, lattices, varieties. Volume I. The Wadsworth & Brooks/Cole mathematics series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, Calif., 1987, xii + 361 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 266-268
- Print publication:
- March 1992
-
- Article
- Export citation
JSL volume 57 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1992
-
- Article
-
- You have access
- Export citation
Corrections to the Logic Colloquium '90 (Helsinki) abstracts
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
- Print publication:
- March 1992
-
- Article
- Export citation
An intuitionistic proof of Tychonoff's theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 28-32
- Print publication:
- March 1992
-
- Article
- Export citation
JSL volume 57 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- March 1992
-
- Article
-
- You have access
- Export citation
Lambek's categorical proof theory and Läuchli's abstract realizability
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 200-230
- Print publication:
- March 1992
-
- Article
- Export citation
Automorphism properties of stationary logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 231-237
- Print publication:
- March 1992
-
- Article
- Export citation
Undecidability of the identity problem for finite semigroups
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-192
- Print publication:
- March 1992
-
- Article
- Export citation
Eighth Latin American Symposium on Mathematical Logic, João Pessoa
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-382
- Print publication:
- March 1992
-
- Article
- Export citation