Contents
Reviews
Ludwik Borkowski. Kilka uwag o pojęciu definicji (Some remarks about the notion of definition). Polish with Russian and English summaries. Studia logica, vol. 23 (1968), pp. 59–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 468
-
- Article
- Export citation
Haskell B. Curry. The deduction theorem in the combinatory theory of restricted generality. Logique et analyse, n.s. vol. 3 (1960), pp. 15–39.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 468-469
-
- Article
- Export citation
Haskell B. Curry. Basic verifiability in the combinatory theory of restricted generality. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 165–189.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 469-470
-
- Article
- Export citation
G. H. Matthews. Discontinuity and asymmetry in phrase structure grammars. Information and control, vol. 6 (1963), pp. 137–146. - G. H. Matthews. A note on asymmetry in phrase structure grammars. Information and control, vol. 7 (1964), pp. 360–365.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 470
-
- Article
- Export citation
Petr Vopěnka. Odin metod postroéniá néstandartnoj modéli aksiomatičéskoj téorii množéstv Bérnajsa Gédélá (A method of constructing a non-standard model for the axiomatic set theory of Bernays-Gödel). Doklady Akadémii Nauk SSSR, vol. 143 (1962), pp. 11–12. - Petr Vopěnka. Postroénié modéléj téorii množéstv métodom spéktra (Konstruktion von Modellen der Mengenlehre mit der Methode der Spektren). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 149–160. - Petr Vopěnka. Eléméntarnyé pondtiá v téorii množéstv (Elementare Begriffe in der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 161–167. - Petr Vopěnka. Postroénié néstandartnoj nérégulárnoj modéli téorii množéstv (Konstruktion von nichtregulären Nichtstandardmodellen der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 229–233. - Petr Vopěnka. Podmodéli modéléj téorii množéstv (Teilmodelle von Modellen der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 163–172.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 470-472
-
- Article
- Export citation
R. B. Jensen. Concrete models of set theory. 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. 44–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 472-473
-
- Article
- Export citation
Azriel Lévy. On a spectrum of set theories. Illinois journal of mathematics, vol. 4 (1960), pp. 413–424. - A. Lévy and R. Vaught. Principles of partial reflection in the set theories of Zermelo and Ackermann. Pacific journal of mathematics, vol. 11 (1961), pp. 1045–1062. - Azriel Lévy. On the principles of reflection in axiomatic set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 87–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 473
-
- Article
- Export citation
C. C. Chang. Maximal n-disjointed sets and the axiom of choice. Fundamenta mathematicae, vol. 49 (1960), pp. 11–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 473
-
- Article
- Export citation
H. L. Royden. Remarks on primitive notions for elementary Euclidean and non-Euclidean plane geometry. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26,1957-January 4, 1958, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 86–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-474
-
- Article
- Export citation
Wolfram Schwabhäuser. Metamathematical methods in foundations of geometry. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 152–165.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 474
-
- Article
- Export citation
H. W. Lenstra. A definition of the system of natural numbers, equivalent to that of Peano. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 71 (1968), pp. 390–392; also lndagationes mathematicae, vol. 30 (1968), pp. 390–392.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 474-475
-
- Article
- Export citation
R. W. Ritchie. A rudimentary definition of addition. The journal of symbolic logic, vol. 30 (1965), pp. 350–354.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 475
-
- Article
- Export citation
Robert R. Tompkins. On Kleene's recursive realizability as an interpretation for intuitionistic elementary number theory. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 289–293.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 475
-
- Article
- Export citation
Julia Robinson. On the decision problem for algebraic rings. Studies in mathematical analysis and related topics, Essays in honor of George Pólya, edited by Gabor Szegö, Charles Loewner, Stefan Bergman, Menahem Max Schiffer, Jerzy Neyman, David Gilbarg, and Herbert Solomon, Stanford University Press, Stanford, California, 1962, pp. 297–304.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 475-476
-
- Article
- Export citation
Julia Robinson. Recursive functions of one variable. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 815–820.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 476
-
- Article
- Export citation
A. Włodzimierz Mostowski. On the decidability of some problems in special classes of groups. Fundamenta mathematicae, vol. 59 (1966), pp. 123–135. - A. Włodzimierz Mostowski. Computational algorithms for deciding some problems for nilpotent groups. Fundamenta mathematicae, vol. 59 (1966), pp. 137–152.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 476-477
-
- Article
- Export citation
Donald J. Collins. Recursively enumerable degrees and the conjugacy problem. Acta mathematica, vol. 122 no. 1–2 (1969), pp. 115–160.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 477
-
- Article
- Export citation
Paul R. Young. An effective operator, continuous but not partial recursive. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 103–108.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-478
-
- Article
- Export citation
Patrick C. Fischer. A note on bounded-truth-table reducibility. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 875–877.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 478
-
- Article
- Export citation
A. H. Lachlan. Some notions of reducibility and productiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 17–44.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 478
-
- Article
- Export citation