Contents
Reviews
Ivan M. Havel. Regular expressions over generalized alphabet and design of logical nets. Kybernetika (Prague), vol. 4 (1968), pp. 516–537.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 524-525
-
- Article
- Export citation
Karel Čulík II. n-ary grammars and the description of mapping of languages. English with English and Czech summaries. Kybernetika (Prague), vol. 6 (1970), pp. 99–117.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 525
-
- Article
- Export citation
Wayne H. Richter. Regressive sets of order n. Mathematische Zeitschrift, vol. 86 no. 5 (1965), pp. 372–374.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 525
-
- Article
- Export citation
V. D. Vuckovic. Almost recursive sets. Proceedings of the American Mathematical Society, vol. 23 (1969), pp. 114–119.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 525-526
-
- Article
- Export citation
Daniel Lacombe. La théorie des fonctions récursives et ses applications. Bulletin de la Société Mathématique de France, vol. 88 (1960), pp. 393–468.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 526
-
- Article
- Export citation
Th. Skolem. Recursive enumeration of some classes of primitive recursive functions and a majorisation theorem. Det Kongelige Norske Videnskabers Selskabs, Forhandlinger, vol. 35 (for 1962, pub. 1963), pp. 142–148. Reprinted in Selected works in logic, by Th. Skolem, edited by Jens Erik Fenstad, Universitetsforlaget, Oslo, Bergen, and Tromsö, 1970, pp. 681–687.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 526
-
- Article
- Export citation
H. B. Enderton. On provable recursive functions. Notre Dame journal of formal logic, vol. 9 no. 1 (1968), pp. 86–88.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-527
-
- Article
- Export citation
B. A. Trahténbrot. Ob avtosvodimosti. Doklady Akadémii Nauk SSSR, vol. 192 (1970), pp. 1224–1227. - B. A. Trahtenbrot. On autoreducibility. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 (1970), pp. 814–817.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
-
- Article
- Export citation
George Boolos and Hilary Putnam. Degrees of unsolvability of constructible sets of integers. The journal of symbolic logic, vol. 33 no. 4 (for 1968, pub. 1969), pp. 497–513.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-528
-
- Article
- Export citation
Saunders Mac Lane. Categorical algebra and set-theoretic foundations. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 231–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
-
- Article
- Export citation
Serge Grigorieff. Combinatorics on ideals and forcing. Annals of mathematical logic, vol. 3 no. 4 (1971), pp. 363–394.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 528-529
-
- Article
- Export citation
Robert M. Solovay. A model of set-theory in which every set of reals is Lebesgue measurable. Annals of mathematics, ser. 2 vol. 92 (1970), pp. 1–56.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 529
-
- Article
- Export citation
Z. I. Kozlova. Aksioma konstruktivnosti i kratnaá otdélimost' i néotdélimost' v klassah analitičéskoj iérarhii (The axiom of constructibility and multiple separability and inseparability in the classes of the analytical hierarchy). Sibirskij matématičéskij žurnal, vol. 5 (1964), pp. 1239–1258.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-530
-
- Article
- Export citation
G. Takeuti and W. M. Zaring. Introduction to axiomatic set theory. Springer-Verlag, New York, Heidelberg, and Berlin, 1971, VII + 250 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 530
-
- Article
- Export citation
Arthur H. Kruse. Some notions of random sequence and their set-theoretic foundations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 299–322.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 530-531
-
- Article
- Export citation
Carl G. Hempel. Inductive inconsistencies. Aspects of scientific explanation and other essays in the philosophy of science, by Carl G. Hempel, The Free Press, New York, and Collier-Macmillan Ltd., London, 1965, pp. 53–79. (Reprinted, with minor changes, from Synthese, vol. 12 (for 1960, pub. 1961), pp. 439–469; also from Logic and language, Studies dedicated to Professor Rudolf Carnap on the occasion of his seventieth birthday, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 128–158.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 531-532
-
- Article
- Export citation
Ludovico Geymonat. Prefazione. Logica e aritmetica, by Gottlob Frege, writings collected and edited by Corrado Mangione (translation by Ludovico Geymonat and Corrado Mangione), Paolo Boringhieri, Turin1965, pp. 9–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 532-534
-
- Article
- Export citation
Carmelo Ottaviano. Premessa. Logicalia, Saggi di logica e di filosofia della scienza, by Annibale Pastore, edited by Carmelo Ottaviano, CEDAM—Casa Editrice Dott. Antonio Milani—Padua1957, pp. 5–6.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 534-535
-
- Article
- Export citation
A. H. Basson and D. J. O'Connor. Language and philosophy: Some suggestions for an empirical approach. Methodos, vol. 5 (1953), pp. 203–221. (Reprinted from Philosophy, vol. 22 (1947), pp. 49–65.) - A. H. Basson and D. J. O'Connor. Linguaggio e filosofia. Alcuni suggerimenti per un approccio empirico, Italian translation of the preceding. Methodos, vol. 5 (1953), pp. 222–232.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 535
-
- Article
- Export citation
Andrzej Grzegorczyk. O pewnych formalnych konsekwencjach reizmu (On certain formal consequences of reism). Fragmenty filozoficzne, seria druga, Ksiȩga pamia̧tkowa ku uczczeniu czterdziestolecia pracy nauczycielskiej w Uniwersytecie Warszawskim Profesora Tadeusza Kotarbinskiego, Państwowe Wydawnictwo Naukowe, Warsaw1959, pp. 7–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 536
-
- Article
- Export citation