Reviews
Alan Rose. A formalisation of the ℵ0-valued Łukasiewicz implicational propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 293–294.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
-
- Article
- Export citation
Andrzej Mostowski. An example of a non-axiomatizable many valued logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 72–76.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
-
- Article
- Export citation
A. Mostowski. Axiomatizability of some many valued predicate calculi. Fundamenta mathematicae, vol. 50 (1961), pp. 165–190.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
-
- Article
- Export citation
S. Ú. Maslov, G. É. Minc, and V. P. Orévkov. Nérazréšimost′ ν konstruktivnom isčislénii prédikatov nékotoryh klassov formul, sodéržaščih tol′ko odnoméstnyé prédikatnyé péréménnyé. Doklady Akadémii Nauk, vol. 163 (1965), pp. 295–297. - S. Ju. Maslov, G. E. Minc, and V. P. Orevkov. Unsolvability in the constructive predicate calculus of certain classes of formulas containing only monadic predicate variables. Translation of the preceding by E. Mendelson. Soviet mathematics, vol. 6 (1965), pp. 918–920.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-144
-
- Article
- Export citation
Gerhard Gentzen. Investigations into logical deduction. English translation of 4422 by M. E. Szabo. American philosophical quarterly, vol. 1 (1964), pp. 288–306, and vol. 2 (1965), pp. 204–218. - Paul Bernays. Introduction. Therein, vol. 1, p. 288.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 144-145
-
- Article
- Export citation
Satoko Titani. An algebraic formulation of cut-elimination theorem. Journal of the Mathematical Society of Japan, vol. 17 (1965), pp. 72–83.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-146
-
- Article
- Export citation
Yoemon Sampei. On set theoretical operations. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 117–132, and vol. 9 (for 1960, pub. 1961), pp. 39–51. Corrections. Ibid., p. 52.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
-
- Article
- Export citation
Yoemon Sampei. Note on the effective choice of a point in the complement of an analytic set. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 91–95.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
-
- Article
- Export citation
Yoemon Sampei. On the uniformization of the complement of an analytic set. Commentarii mathematici Universitatis Sancti Pauli, vol. 10 (1962), pp. 57–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 146
-
- Article
- Export citation
Yoemon Sampei. On the uniformization of a set of class Αρσ. Commentarii mathematici Universitatis Sancti Pauli, vol. 7 (1959), pp. 67–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 146-147
-
- Article
- Export citation
Edward J. Cogan. A formalization of the theory of sets from the point of view of combinatory logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 198–240. - Rainer Titgemeyer. Über einen Widerspruch in Cogans Darstellung der Mengenlehre. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 161–163.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
-
- Article
- Export citation
Maarten Wicher Visser Bunder. Set theory based on combinatory logic. Dissertation Amsterdam 1969, 80 pp. + 3 pp. of corrections.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-148
-
- Article
- Export citation
Wacław Sierpiński. L'axiome du choix. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 257–266.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
-
- Article
- Export citation
Raphael M. Robinson. Binary relations as primitive notions in elementary 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, Amsterdam 1959, pp. 68–85.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
-
- Article
- Export citation
A. H. Lightstone and A. Robinson. On the representation of Herbrand functions in algebraically closed fields. The journal of symbolic logic, vol. 22 (1957), pp. 187–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 148-149
-
- Article
- Export citation
A. Robinson. Model theory and non-standard arithmetic. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 265–302.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 149
-
- Article
- Export citation
H. A. Pogorzelski. Nonconcatenative abstract Skolem arithmetics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 11 (1965), S. 89–92, 249–252, 373–376.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
-
- Article
- Export citation
M. H. Löb. Concatenation as basis for a complete system of arithmetic. The journal of symbolic logic, vol. 18 (1953), pp. 1–6. - M. H. Löb. Formal systems of constructive mathematics. The journal of symbolic logic, vol. 21 (1956), pp. 63–75.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
-
- Article
- Export citation
Martin Davis, Hilary Putnam, and Julia Robinson. The decision problem for exponential diophantine equations. Annals of mathematics, second series vol. 74 (1961), pp. 425–436.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-152
-
- Article
- Export citation
Julia Robinson. The undecidability of exponential Diophantine equations. 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. 12–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 152
-
- Article
- Export citation