Contents
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
Per Lindström. On characterizability in Lω1ω0. Theoria (Lund), vol. 32 (1966), pp. 165–171.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 587
-
- Article
- Export citation
Abraham A. Fraenkel. Set theory. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 420–427.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
-
- Article
- Export citation
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
Mary Hesse. Simplicity. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 445–448.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
-
- Article
- Export citation
R. Sikorski. On Herbrand's theorem. Colloquium mathematicum, vol. 6 (1958), pp. 55–58.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 587
-
- 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
Andrzej Mostowski. Tarski, Alfred. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 77–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
-
- Article
- Export citation
M. I. Kargapolov, Ú. I. Mérzlákov, and V. N. Réméslénnikov. Kourovskaá tétrad’ (néréšénnyé zadači téorii grupp) (Kourovsk exercise book (unsolved problems of group theory)). Third edition, supplemented. Akadémiá Nauk SSSR, Sibirskoé Otdélénié, Institut Matématiki, Novosibirsk1969, 63 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 587
-
- 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
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
J. R. Moschovakis. Disjunction and existence in formalized intuitionistic analysis. 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. 309–331.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 587-588
-
- 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
Yehoshua Bar-Hillel. Types, theory of. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 168–172.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
-
- 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
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
S. C. Kleene. Turing-machine computable functionals of finite types I. 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, California, 1962, pp. 38–45. - S. C. Kleene. Turing-machine computable functionals of finite types II. Proceedings of the London Mathematical Society, ser. 3 vol. 12 (1962), pp. 245–258.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 588-589
-
- Article
- Export citation
Z. A. Jordan. Ajdukiewicz, Kazimierz. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 1, pp. 62–63.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 301
-
- Article
- Export citation