Reviews
J. C. E. Dekker. Regressive isols. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 272–296.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
-
- Article
- Export citation
L. E. J. Brouwer. Points and spaces. Canadian journal of mathematics, vol. 6 (1954), pp. 1–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
-
- Article
- Export citation
B. van Rootselaar. On intuitionistic difference relations. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 63 (1960), pp. 316–322; also Inda-gationes mathematicae, vol. 22 (1960), pp. 316-322. - B. van Rootselaar. Corrections. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 (1963), pp. 132–133; also ibid., vol. 25 (1963), pp. 132-133.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-520
-
- Article
- Export citation
F. Richard Singer. Some Sheffer functions for M-valued logics. Scripta mathematica, vol. 28 (1967), pp. 21–27.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
-
- Article
- Export citation
David Pager. An emendation of the axiom system of Hilbert and Ackermann for the restricted calculus of predicates. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 131–138.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
-
- Article
- Export citation
Sze-Tsen Hu. Elementary functions and coordinate geometry. Markham Publishing Company, Chicago1969, xvii + 349 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 520-521
-
- Article
- Export citation
Thomas Storer. MINIAC: World's smallest electronic brain. Analysis (Oxford), vol. 22 (1962), pp. 151–152.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
Jonas Lichtenberg. Matematik og symboler (Mathematics and symbols). Teknisk Forlag, Copenhagen1967, 50 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
Yen-Yi Wu. Shu hsüeh chia huei pu huei pei chi ch'i tai t'i (Can the mathematician be replaced by a machine?). K'o hsüeh chiao yü (Science education), vol. 11 no. 3 (1965), pp. 33–38.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 521-531
-
- Article
- Export citation
Annals of mathematical logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 532
-
- Article
- Export citation
Abstract
Meeting of the association for symbolic logic warsaw 1968
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 533-544
-
- Article
-
- You have access
- Export citation
Front matter
JSL volume 34 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation