Reviews
Robert Price. The stroke function in natural deduction. Zeitschrift für mathematische Logik und Crundlagen der Mathematik, vol. 7 (1961), pp. 117–123.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-150
-
- Article
- Export citation
Jaroslav Šedivý. Solution of simple logical problems by colouring graphs. English with Czech summary. Kybernetika (Prague), vol. 5 (1969), pp. 501–512.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
-
- Article
- Export citation
Glenn James and Robert C. James, editors. Mathematics dictionary. D. Van Nostrand Company, Inc., Toronto, New York, and London, 1949, v + 432 pp. - Glenn James and Robert C. James, editors. Mathematics dictionary. Second, revised and enlarged edition, with multilingual index added. D. Van Nostrand Company, Inc., Princeton, New Jersey, Toronto, New York, and London, 1959, 546 pp. - Robert C. James and Edwin F. Beckenbach. James & James mathematics dictionary. Third edition. D. Van Nostrand Company, Inc., Princeton, New Jersey, London, Toronto, and Melbourne, 1968, vii + 517 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 150-151
-
- Article
- Export citation
Solomon Feferman. The number systems. Foundations of algebra and analysis. Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, and London, 1964, xii + 418 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 151
-
- Article
- Export citation
J. Donald Monk. Introduction to set theory. McGraw-Hill Book Company, New York, St. Louis, San Francisco, London, Sydney, Toronto, Mexico, and Panama, 1969, ix + 193 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 151
-
- Article
- Export citation
Wolfgang Stegmüller. Eine Axiomatisierung der Mengenlehre, beruhend auf den Systemen von Bernays und Quine. Logik und Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich1962, pp. 57–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-152
-
- Article
- Export citation
P. Erdös and A. Hajnal. On the structure of set-mappings. Acta mathematica Academiae Scientiarum Hungaricae, vol. 9 (1958), pp. 111–131. - P. Erdös and A. Hajnal. Some remarks concerning our paper “On the structure of set-mappings”.—Non-existence of a two-valued σ-measure for the first uncountable inaccessible cardinal. Acta mathematica Academiae Scientiarum Hungaricae, vol. 13 (1962), pp. 223–226.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-153
-
- Article
- Export citation
L. Rieger. On the consistency of the generalized continuum hypothesis. Rozprawy matematyczne no. 31. Państwowe Wydawnictwo Naukowe, Warsaw1963, 45 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 153
-
- Article
- Export citation
Vlad Boicescu. Sur la représentation des algèbres de Lukasiewicz n-valentes. Comptes rendus hebdomadaires des séances de l'Acaéimie des Sciences, sér. A t. 270 (1970), p. 4–7.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 153
-
- Article
- Export citation
Giulio Andreoli. Proprietà delle funzioni simmetriche elementari nelle algebre di Boole e nelle algebre dei livelli. La ricerca (Naples), vol. 10 ser. 2 (10.–Dec. 1959), pp. 1–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-154
-
- Article
- Export citation
Dieter Klaua. Konstruktive Analysis. Mathematische Forschungsberichte no. 11, VEB Deutscher Verlag der Wissenschaften, Berlin1961, VIII + 160 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-155
-
- Article
- Export citation
Hisao Tanaka. On analytic well-orderings. The journal of symbolic logic, vol. 35 (1970), pp. 198–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 155
-
- Article
- Export citation
Marian Boykan Pour-El and Hilary Putnam. Recursively enumerable classes and their application to recursive sequences of formal theories. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 3–4 (1965), pp. 104–121. - Marian Boykan Pour-El and William A. Howard. A structural criterion for recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 105–114. - A. H. Lachlan. On recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 209–220. - A. H. Lachlan. On recursive enumeration without repetition: a correction. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 99–100.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 155-156
-
- Article
- Export citation
Gert Heinz Müller. Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest1965, S. 45–51. - G. H. Müller. Rekursionsformen in der Zahlentheorie. Automatentheorie und formate Sprachen, Nr. 3, Bericht aus dem Mathematischen Forschungsinstitut Oberwolfach, herausgegeben von Johannes Dörr und Günter Hotz, Bibliographisches Institut, Mannheim–Wien–Zurich, Hochschultaschenbücher–Verlag, Mannheim 1970, S. 399–440.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-157
-
- Article
- Export citation
Gerhard Gentzen. Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 (1954), pp. 1–3; also Archiv für Philosophie, vol. 5 no. 1 (1954), pp. 81–83.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 157
-
- Article
- Export citation
John Myhill. Finitely representable functions. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 195–207.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-158
-
- Article
- Export citation
R. Montague. Recursion theory as a branch of model theory. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 63–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-159
-
- Article
- Export citation
Michael O. Rabin. Non-standard models and independence of the induction axiom. 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. 287–299; also second edition, Magnes Press, Jerusalem 1966, pp. 287–299.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 159
-
- Article
- Export citation
Andrzej Grzegorczyk. An unfinitizability proof by means of restricted reduced power. Fundamenta mathematicae, vol. 73 no. 1 (1971), pp. 37–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-161
-
- Article
- Export citation
Kurt Hauschild. Nichtaxiomatisierbarkeit von Satzmengen durch Ausdrücke spezieller Gestalt. Fundamenta mathematicae, vol. 72 no. 3 (1971), pp. 245–253.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 161
-
- Article
- Export citation