13629 results in The Journal of Symbolic Logic
Dan Haran and Moshe Jarden. Bounded statements in the theory of algebraically closed fields with distinguished automorphisms. Journal für die reine und angewandte Mathematik, vol. 337 (1982), pp. 1–17.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, p. 1056
- Print publication:
- December 1987
-
- Article
- Export citation
Anthony Appiah. Assertion and conditionals. Cambridge studies in philosophy. Cambridge University Press, Cambridge etc. 1985, xiii + 265 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1051-1052
- Print publication:
- December 1987
-
- Article
- Export citation
Stuart M. Shieber. An introduction to unification-based approaches to grammar. CSLI lecture notes, no. 4. Center for the Study of Language and Information, Stanford 1986, also distributed by the University of Chicago Press, Chicago, iv + 105 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1052-1054
- Print publication:
- December 1987
-
- Article
- Export citation
Omitting types and the real line
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1020-1026
- Print publication:
- December 1987
-
- Article
- Export citation
Properties of subtle cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1005-1019
- Print publication:
- December 1987
-
- Article
- Export citation
Wilfried Sieg. Fragments of arithmetic. Annals of pure and applied logic, vol. 28 (1985), pp. 33–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1054-1055
- Print publication:
- December 1987
-
- Article
- Export citation
Uncountable master codes and the jump hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 952-958
- Print publication:
- December 1987
-
- Article
- Export citation
Errett Bishop and Douglas Bridges. Constructive analysis. Grundlehren der mathematischen Wissenschaften, no. 279. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1985, xii + 477 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1047-1048
- Print publication:
- December 1987
-
- Article
- Export citation
Catarina Kiefe. Sets definable over finite fields: their zeta-functions. Transactions of the American Mathematical Society, vol. 223 (1976), pp. 45–59.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, p. 1055
- Print publication:
- December 1987
-
- Article
- Export citation
A constructive analysis of RM
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 939-951
- Print publication:
- December 1987
-
- Article
- Export citation
Corps portant un nombre fini de valuations
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 994-1004
- Print publication:
- December 1987
-
- Article
- Export citation
Fred Feldman. Doing the best we can. An essay in informal deontic logic. Philosophical studies series in philosophy, vol. 35. D. Reidel Publishing Company, Dordrecht, Boston, Lancaster, and Tokyo, 1986, xiv + 244 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1050-1051
- Print publication:
- December 1987
-
- Article
- Export citation
Partition properties of M-ultrafilters and ideals
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 897-907
- Print publication:
- December 1987
-
- Article
- Export citation
Categorical semantics for higher order polymorphic lambda calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 969-989
- Print publication:
- December 1987
-
- Article
- Export citation
žarko Mijajlović, Zoran Marković, and Kosta Dos̄en. Hilbertovi problemi i logika (Hilbert's problems and logic). Matematic̆ka biblioteka, no. 48. Zavod za Udžbenike i Nastavna Sredstva, Belgrade1986, 168 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1049-1050
- Print publication:
- December 1987
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1095-1135
- Print publication:
- December 1987
-
- Article
- Export citation
Handbook of set-theoretic topology, edited by Kenneth Kunen and Jerry E. Vaughan, North-Holland, Amsterdam, New York, and Oxford, 1984, vii + 1273 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1044-1046
- Print publication:
- December 1987
-
- Article
- Export citation
JSL volume 52 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b8
- Print publication:
- December 1987
-
- Article
-
- You have access
- Export citation
Peter Roquette. Nonstandard aspects of Hilbert's irreducibility theorem. Model theory and algebra, A memorial tribute to Abraham Robinson, edited by D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 231–275.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, p. 1056
- Print publication:
- December 1987
-
- Article
- Export citation
Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1027-1043
- Print publication:
- December 1987
-
- Article
- Export citation