Contents
Reviews
J. Barback. Recursive functions and regressive isols. Mathematica Scandinavica, vol. 15 (1964), pp. 29–42.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-270
-
- Article
- Export citation
Natuhiko Yosida. On Brentano's thesis and psychologism. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 1 (1966), pp. 1–5.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 405-406
-
- Article
- Export citation
Bjarni Jónsson. Universal relational systems. Mathematica Scandinavia, vol. 4 (1956), pp.193–208. - B. Jónsson. Homogeneous universal relational systems. Mathematica Scandinavia, vol. 8 (1960), pp. 137–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 534-535
-
- Article
- Export citation
Ronald Harrop. A relativization procedure for propositional calculi, with an application to a generalized form of Post's theorem. Proceedings of the London Mathematical Society, vol. 14 (1964), pp. 595–617. - Ronald Harrop. Some generalizations and applications of a relativization procedure for propositional calculi. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 12–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
-
- Article
- Export citation
Michael Morley and Robert Vaught. Homogeneous universal models. Mathematica Scandinavia, vol. 11 (1962), pp. 37–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 535
-
- Article
- Export citation
Fred Sommers. Types and ontology. The philosophical review, vol. 72 (1963), pp. 327–363. - John O. Nelson. On Sommers' reinstatement of Russell's ontological program. The philosophical review, vol. 73 (1964), pp. 517–521. - Fred Sommers. A program for coherence. The philosophical review, vol. 73 (1964), pp. 522–527. - Ronald Bon De Sousa. The tree of English bears bitter fruit. The journal of philosophy, vol. 63 (1966), pp. 37–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 406-408
-
- Article
- Export citation
J. L. Britton. Solution of the word problem for certain types of groups. I.Proceedings of the Glasgow Mathematical Association, vol. 3 (1956–1958), pp. 45–54. - J. L. Britton. Solution of the word problem for certain types of groups. II.Proceedings of the Glasgow Mathematical Association, vol. 3 (1956–1958), pp. 68–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
-
- Article
- Export citation
T. G. McLaughlin. Some observations on quasicohesive sets. The Michigan mathematical journal, vol. 11 (1964), pp. 83–87.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- Article
- Export citation
M. I. Kargapolov. Ob eléméntarnoj téorii abélévyh grupp (On the elementary theory of Abelian groups). Algébra i logika, Séminar, vol. 1 no. 6 (1963), pp. 26–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 535-536
-
- Article
- Export citation
Patrick C. Fischer. Theory of provable recursive functions. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 494–520.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- Article
- Export citation
Joseph R. Rotman. The theory of groups. An introduction. Allyn and Bacon, Inc., Boston1965, xiii + 305 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
-
- Article
- Export citation
Peter Glassen. Some questions about relations. Analysis (Oxford), vol. 17 no. 3 (1957), pp. 64–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 408
-
- Article
- Export citation
Jerzy Slupecki. Funkcja Łukasiewicz {The Łukasiewicz function). Matematyka, fizyka, astronomia, II, Uniwersytet Wroctawski. im. Boleslawa Bieruta, Zeszyty naukowe, ser. B no. 3, Państwowe Wydawnictwo Naukowe, Warsaw and Breslau1959, pp. 33–40.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 536
-
- Article
- Export citation
P. T. Geach. Ryle on namely-riders. Analysis (Oxford), vol. 21 no. 3 (1961), pp. 64–67. - P. J. Fitzpatrick. ‘Heterological’ and namely–riders. Analysis (Oxford), Vol. 22 no. 1 (1961), pp. 18–22. - P. T. Geach. Namely–riders again. Analysis (Oxford), vol. 22 no. 4 (1962), pp. 92–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 408-409
-
- Article
- Export citation
Georg Kreisel and William W. Tait. Finite definability of number-theoretic functions and parametric completeness of equational calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 28–38.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 270-271
-
- Article
- Export citation
I. N. Hlodovskij. Novoé dokazatél′stvo néprotivoréčivosti arifmétiki. Uspéhi matématičéskih nauk, vol. 14 no. 6 (1959), pp. 105–140. - I. N. Hlodovskií. A new proof of the consistency of arithmetic. English translation of the preceding by Moshe Machover. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 191–230.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
-
- Article
- Export citation
Clifford Spector. Provably recursive functionals of analysis: A consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 1–27.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
-
- Article
- Export citation
David Dinsmore Comey. Current trends in Soviet logic. Inquiry (Oslo), vol. 9 (1966), pp. 94–108.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-410
-
- Article
- Export citation
András Hajnal. On a consistency theorem connected with the generalized continuum problem. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 131–136. - A. Hajnal. On a consistency theorem connected with the generalized continuum problem. Acta mathematica Academiae Scientiarum Hungaricae, vol. 12 (1961), pp. 321–376. - Azriel Lévy. A generalization of Gödel's notion of constructibility. The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), pp. 147–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-272
-
- Article
- Export citation
Witold A. Pogorzelski and Jerzy Słupecki. Dowód pelności klasycznego rachunku zdań na gruncie aksjomatycznej metodologii (A proof of the completeness of the classical propositional calculus on the ground of an axiomatic methodology). Matematyka, fizyka, astronomia, III, Acta Universitatis Wratislaviensis, no. 12, Państwowe Wydawnictwo Naukowe, Warsaw and Breslau1962, pp. 11–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-537
-
- Article
- Export citation