Contents
Reviews
Desmond Paul Henry. The logic of Saint Anselm. Oxford University Press, London1967, vi + 258 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 312-313
-
- Article
- Export citation
Carlo Cellucci. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 5–7. - Carlo Cellucci. Introduzione. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 9–79. - Kurt Gödel. La logica matematiea di Russell. Italian translation of XI 75. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 81–112. - Kurt Gödel. Che cos'è il problema del continuo di Cantor? Italian translation of XXXIV 108(14). Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 113–136. - Kurt Gödel. Osservazioni al Convegno su Problemi di Matematiea per il Secondo Centenario di Princeton. Italian translation of XXXI 484(8). Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 137–141. - Alonzo Church. Matematiea e logica. Italian translation of XXVIII 106(4). Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 143–151. - Haskell B. Curry. Osservazioni sulla definizione e sulla natura delta matematiea. Italian translation of XXII 85. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 153–159. - David Hilbert. Sull'infinito. Italian translation of 10813, with a concluding portion omitted. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 161–183. - Georg Kreisel. II programma di Hilbert. Italian translation of XXXIV 108(8). Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 185–221. - L. E. J. Brouwer. Fondamenti storici, principi e metodi dell'intuizionismo. Italian translation of XIX 125(1), with a concluding portion omitted. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 223–231. - Arend Heyting. Disputa. Italian translation of the first chapter of XXI 367. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 233–248. - Arend Heyting. L'intuizionismo in matematiea. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 249–267. (Translated from Philosophy in the mid-century, edited by Raymond Klibansky, Florence 1968, pp. 101-115.) - Nelson Goodman and W. V. Quine. Verso un nominalismo construttivo. Italian translation of XIII 49. Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 269–298. - Nelson Goodman. Un mondo di individui. Italian translation of XXII 205(2). Avvertenza. La filosofia della matematica, edited by Carlo Cellucci, Editori Laterza, Bari1967, pp. 299–320.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-314
-
- Article
- Export citation
Clement F. Kent. Constructive analogues of the group of permutations of the natural numbers. Transactions of the American Mathematical Society, vol. 104 (1962), pp.347–362.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 517-518
-
- Article
- Export citation
Seymour Ginsburg and H. Gordon Rice. Two families of languages related to ALGOL. Journal of the Association for Computing Machinery, vol. 9 (1962), pp. 350–371.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 135
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-320
-
- Article
- Export citation
Reviews
T. G. McLaughlin. Some remarks on extensibility, confluence of paths, branching properties, and index sets, for certain recursively enumerable graphs. Illinois journal of mathematics, vol. 11 (1967), pp. 257–279.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 518
-
- Article
- Export citation
Seymour Ginsburg and Edwin H. Spanier. Quotients of context-free languages. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 487–492.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-136
-
- Article
- Export citation
J. C. E. Dekker. Good choice sets. Annali della Scuola Normale Superiore di Pisa, scienze fisiche e mathematiche, series 3 vol. 20 (1966), pp. 367–393. - J. C. E. Dekker. The recursive equivalence type of a class of sets. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 628–632.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 518-519
-
- Article
- Export citation
Seymour Ginsburg and Edwin H. Spanier. Bounded ALGOL-like languages. Transactions of the American Mathematical Society, vol. 113 (1964), pp. 333–368.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 136-137
-
- Article
- Export citation
Other
Notices of meetings of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 320
-
- Article
- Export citation
Front matter
JSL volume 34 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
-
- Article
-
- You have access
- Export citation
Reviews
Seymour Ginsburg and Edwin H. Spanier. Semigroups, Presburger formulas, and languages. Pacific journal of mathematics, vol. 16 (1966), pp. 285–296.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
-
- Article
- Export citation
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
John P. Kimball. Predicates definable over transformational derivations by intersection with regular languages. Information and control, vol. 11 (1967), pp. 177–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
-
- 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
Richard M. Martin. A formalization of inductive logic. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 251–256.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-138
-
- Article
- Export citation
Hilary Putnam. Formalization of the concept “about.”Philosophy of science, vol. 25 (1958), pp. 125–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-139
-
- 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