13629 results in The Journal of Symbolic Logic
Determinacy of Banach games
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 110-122
- Print publication:
- March 1985
-
- Article
- Export citation
A recursive model for arithmetic with weak induction
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 49-54
- Print publication:
- March 1985
-
- Article
- Export citation
Logics without the contraction rule
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-201
- Print publication:
- March 1985
-
- Article
- Export citation
Sequent-systems for modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-168
- Print publication:
- March 1985
-
- Article
- Export citation
Peter A. Loeb. Conversion from nonstandard to standard measure spaces and applications in probability theory. Transactions of the American Mathematical Society, vol. 211 (1975), pp. 113–122. - Robert M. Anderson. A non-standard representation for Brownian motion and ltô integration. Israel journal of mathematics, vol. 25 (1976), pp. 15–46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, p. 243
- Print publication:
- March 1985
-
- Article
- Export citation
K. Jon Barwise. Absolute logics and . Annals of mathematical logic, vol. 4 no. 3 (1972), pp. 309–340.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-241
- Print publication:
- March 1985
-
- Article
- Export citation
Explicit Henkin sentences
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-93
- Print publication:
- March 1985
-
- Article
- Export citation
Saharon Shelah. Proper forcing. Lecture notes in mathematics, vol. 940. Springer-Verlag, Berlin, Heidelberg, and New York, 1982, xxix + 496 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-239
- Print publication:
- March 1985
-
- Article
- Export citation
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part I. Studies in logic and the foundations of mathematics, vol. 64. North-Holland Publishing Company, Amsterdam and London 1971, VI + 508 pp. - L. Henkin, J. D. Monk, and A. Tarski. Cylindric set algebras and related structures. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 1–129. - H. Andréka and I. Németi. On cylindric-relativized set algebras. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 131–315.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 234-237
- Print publication:
- March 1985
-
- Article
- Export citation
Bounded existential induction
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-90
- Print publication:
- March 1985
-
- Article
- Export citation
Georg Kreisel and Gaisi Takeuti. Formally self-referential propositions for cut free analysis and related systems. Dissertationes mathematicae (Rozprawy matematyczne), no. 118, Polska Akademia Nauk, Instytut Matematyczny, Warsaw 1974, 50 pp. - Peter Päppinghaus. A version of the Σ1-reflection principle for CFA provable in PRA. Archiv für mathematische Logik und Grundlagenforschung, vol. 20 (1980), pp. 27–40.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-246
- Print publication:
- March 1985
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-286
- Print publication:
- March 1985
-
- Article
- Export citation
JSL volume 50 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1985
-
- Article
-
- You have access
- Export citation
Crispin Wright. Frege's conception of numbers as objects. Scots philosophical monographs, no. 2. Aberdeen University Press, Aberdeen 1983, also distributed by Humanities Press, Atlantic Highlands, N.J., 1984, xxi + 193 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-254
- Print publication:
- March 1985
-
- Article
- Export citation
R.C. Jeffrey. The logic of decision. McGraw-Hill series in probability and statistics. McGraw-Hill Book Company, New York etc. 1965, XIV + 201 pp. - Richard C. Jeffrey. The logic of decision. Second edition of the preceding. University of Chicago Press, Chicago and London 1983, xiv + 231 pp. - Richard C. Jeffrey. Preference among preferences. Therein, pp. 214–227. (Reprinted with revisions from The journal of philosophy, vol. 71 (1974), pp. 377–391.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-248
- Print publication:
- March 1985
-
- Article
- Export citation
The extensions of the modal logic K5
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-109
- Print publication:
- March 1985
-
- Article
- Export citation
Hector-Neri Castañeda. Thinking and doing. The philosophical foundations of institutions. Philosophical studies series in philosophy, vol. 7. D. Reidel Publishing Company, Dordrecht and Boston 1975, XVIII + 366 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-250
- Print publication:
- March 1985
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-288
- Print publication:
- March 1985
-
- Article
- Export citation
Adjoining dominating functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 94-101
- Print publication:
- March 1985
-
- Article
- Export citation
European Summer Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-283
- Print publication:
- March 1985
-
- Article
- Export citation