Contents
Reviews
Wolfgang E. Spiess and Friedrich G. Rheingans. Einführung in das Programmieren in FORTRAN. Walter de Gruyter & Co, Berlin1970, 195 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
-
- Article
- Export citation
Per Lindström. Remarks on some theorems of Keisler. The journal of symbolic logic, vol. 33 no. 4 (for 1968, pub. 1969), pp. 571–576.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
-
- Article
- Export citation
Donald Loveland. A new interpretation of the von Mises' concept of random sequence. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 279–294. - D. W. Loveland. The Kleene hierarchy classification of recursively random sequences. Transactions of the American Mathematical Society, vol. 125 (1966), pp. 497–510.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 537-538
-
- Article
- Export citation
Ph. Dwinger and F. M. Yaqub. Free extensions of sets of Boolean algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 (1964), pp. 567–577; also Indagationes mathematicae, vol. 26 (1964), pp. 567–577.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-164
-
- Article
- Export citation
Domenico Castaldo. Relazione fra le funzioni simmetriche in un algebra di Boole. La ricerca (Naples), vol. 10 ser. 2 (10-Dec. 1959), pp. 27–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 164
-
- Article
- Export citation
Charles Parsons. Hierarchies of primitive recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 (1968), pp. 357–376.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 538-539
-
- Article
- Export citation
Kao Hêng-San. Kuan-yü Łoś ho Suszko “lun mu-hsing ti k'uo-chung (IV)” i wen chih jo-kan hsiu-cheng ho chien-hua (Some corrections and simplifications of Łoś and Suszko's “On the extending of models (IV)”). Shuxue jinzhan (Shu-hsüeh chin chan) (Peking), vol. 6 no. 4 (1963), pp. 388–390.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
-
- Article
- Export citation
Alex Blum. The missing premiss. Notre Dame journal of formal logic, vol. 11 (1970), pp. 203–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
-
- Article
- Export citation
J. C. E. Dekker. Closure properties of regressive functions. Proceedings of the London Mathematical Society, ser. 3 vol. 15 (1965), pp. 226–238.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 539
-
- Article
- Export citation
Hilary Putnam. A note on constructible sets of integers. Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 270–273.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
-
- Article
- Export citation
Elvin Rasof. The Carrollian Matrix. Notre Dame journal of formal logic, vol. 11 (1970), pp. 497–504.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
-
- Article
- Export citation
Sheldon B. AkersJr., On the algebraic manipulation of majority logic. IRE transactions on electronic computers, vol. EC-10 (1961), p. 779.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 164
-
- Article
- Export citation
Jan Mycielski and H. Steinhaus. A mathematical axiom contradicting the axiom of choice. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 (1962), pp. 1–3. - Jan Mycielski. On the axiom of determinateness. Fundamenta mathematicae, vol. 53 (1964), pp. 205–224. - Jan Mycielski and S. Świerczkowski. On the Lebesgue measurability and the axiom of determinateness. Fundamenta mathematicae, vol. 54 (1964), pp. 67–71. - Jan Mycielski. On the axiom of determinateness (II). Fundamenta mathematicae, vol. 59 (1966), pp. 203–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 164-166
-
- Article
- Export citation
Richard Tursman. The shortest axioms of the implicational calculus. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 351–358.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 690
-
- Article
- Export citation
Robert M. Solovay. A nonconstructible set of integers. Transactions of the American Mathematical Society, vol. 127 (1967), pp. 50–75.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 340
-
- Article
- Export citation
A. H. Lachlan. The impossibility of finding relative complements for recursively enumerable degrees. The journal of symbolic logic, vol. 31 (1966), pp. 434–454.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 539-540
-
- Article
- Export citation
Alan Rose. Extensions of some theorems of Schmidt and McKinsey, I. Norsk matematisk tidsskrift, vol. 34 (1952), pp. 1–9.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 690
-
- Article
- Export citation
Richard A. Platek. Eliminating the continuum hypothesis. The journal of symbolic logic, vol. 34 (1969), pp. 219–225.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 166
-
- Article
- Export citation
S. I. Adán. Problema algoritma (Problem of algorithm). Nauka i žizn′, no. 8 (1957), pp. 13–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 540
-
- Article
- Export citation
J. R. Shoenfield. A hierarchy based on a type two object. Transactions of the American Mathematical Society, vol. 134 (1968), pp. 103–108.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
-
- Article
- Export citation