Contents
Reviews
J. C. C. McKinsey and Alfred Tarski. Some theorems about the sentential calculi of Lewis and Heyting. The journal of symbolic logic, vol. 13 (1948), pp. 1–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
-
- Article
- Export citation
Alfred Tarski. A problem concerning the notion of definability. The journal of symbolic logic, vol. 13 (1948), pp. 107–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-173
-
- Article
- Export citation
D. Van Dantzig. On the -principles of inluitionistic and affirmative mathematics. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 (1947), pp. 918–929, 1092–1103; also Indagationes mathematicae, vol. 9 (1947), pp. 429–440, 506–517.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
-
- Article
- Export citation
E. W. Beth. Semantical considerations on intuitionistic mathematics. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 (1947), pp. 1246–1251, and ibid., pp. 572–577.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
-
- Article
- Export citation
K. R. Popper. Functional logic without axioms or primitive rules of inference. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 (1947), pp. 1214–1224, and ibid., pp. 561–571.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
-
- Article
- Export citation
G. F. C. Griss. Negationless intuitionistic mathematics. Indagationes mathematicae, vol. 8 (1946), pp. 675–681. [Same as XII 62(3).]
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 174
-
- Article
- Export citation
J. Ridder. Einige Anwendungen des Dualitätsprinzips in topologischen Strukturen.Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 50 (1947), pp. 731–740; also Indagationes mathematicae, vol. 9 (1947), pp. 341–350.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-176
-
- Article
- Export citation
Front matter
JSL volume 13 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 13 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation