Reviews
Anne Preller. La catégorie des algèbres quantifiées. Publications du Département de Mathématiques (Lyon), vol. 4 no. 1 (1967), pp. 91–136.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-241
-
- Article
- Export citation
J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Still Well, and N. H. Williams. What is mathematical logic?Oxford University Press, London, Oxford, and New York, 1972, ix + 82 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 241
-
- Article
- Export citation
Luís Neves Real. Kurt Gödel e os problemas dos fundamentos da matemática e a teoria dos conjuntos. Gazeta de matemdtica, vol. 12 no. 48 (1951), pp. 1–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 241
-
- Article
- Export citation
Gottfried Köthe. Sobre a não contradição da matemática. Gazeta de matemdtica, vol. 15 no. 58 (1954), pp. 1–5.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 241
-
- Article
- Export citation
Ronald Björn Jensen. On the consistency of a slight (?) modification of Quine's New foundations. Words and objections, Essays on the work of W. V. Quine, edited by Donald Davidsonand Jaakko Hintikka, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1969, pp. 278–291. (Reprinted from Synthese, vol. 19 no. 1–2 (1968), pp. 250–263.) - W. V. Quine. Reply to Jensen. Words and objections, Essays on the work of W. V. Quine, edited by Donald Davidsonand Jaakko Hintikka, D. Reidel Publishing Company, Dordrecht-Holland, and Humanities Press, New York, 1969, pp. 349–352. (Reprinted from the same, pp. 319–322.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-242
-
- Article
- Export citation
Ladislav Rieger. A contribution to Gödel's axiomatic set theory, II and III. English with Russian summaries. Čéhoslovačkij matématičéskij žurnal (Czechoslovak mathematical journal), vol. 9 (1959), pp. 1–49, and vol. 13 (1963), pp. 51–88.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-243
-
- Article
- Export citation
Yoemon Sampei. On the complete basis for the sets. Commentarii mathematici Universitatis Sancti Pauli, vol. 13 (1965), pp. 81–88.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 243
-
- Article
- Export citation
Yoemon Sampei. On the principle of effective choice and its applications. Commentarii mathematici Universitatis Sancti Pauli, vol. 15 (1966), pp. 29–42.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
-
- Article
- Export citation
Andrew Adler. Extensions of non-standard models of number theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 15 (1969), pp. 289–290. - Haim Gaifman. A note on models and submodels of arithmetic. Conference in mathematical logic—London '70, edited by Wilfrid Hodges, Lecture notes in mathematics, no. 255, Springer-Verlag, Berlin, Heidelberg, and New York, 1972, pp. 128–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
-
- Article
- Export citation
C. C. Chang and Yiannis N. Moschovakis. The Suslin-Kleene theorem for Vκ with cofinality (κ) = ω. Pacific journal of mathematics, vol. 35 (1970), pp. 565–569.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 245
-
- Article
- Export citation
Sheila Greibach. A note on undecidable properties of formal languages. Mathematical systems theory, vol. 2 (1968), pp. 1–6.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 245
-
- Article
- Export citation
J. Hartmanis and J. E. Hopcroft. What makes some language theory problems undecidable. Journal of computer and system sciences, vol. 4 (1970), pp. 368–376.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
-
- Article
- Export citation
Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 10–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
-
- Article
- Export citation
Donald M. Kaplan. Some completeness results in the mathematical theory of computation. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 124–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-247
-
- Article
- Export citation
Dana Scott. The lattice of flow diagrams. Symposium on semantics of algorithmic languages, edited by E. Engeler, Lecture notes in mathematics, vol. 188, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, pp. 311–366.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-248
-
- Article
- Export citation
Giorgio Ausiello. Abstract computational complexity and cycling computations. Journal of computer and system sciences, vol. 5 (1971), pp. 118–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 248
-
- Article
- Export citation
V. N. Agafonov. Složnost' vyčisléniá psévdoslučajnyh poslédovatél'nostéj. Algébra i logika, vol. 7 no. 2 (1968), pp. 4–19. - V. N. Agafonov. Complexity of computing pseudorandom sequences. English translation of the preceding. Algebra and logic (New York), vol. 7 (1968), pp. 72–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
-
- Article
- Export citation
Robert A. Dipaola. Random sets in subrecursive hierarchies. Journal of the Association for Computing Machinery, vol. 16 (1969), pp. 621–630.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-250
-
- Article
- Export citation
Ian Hacking. Logic of statistical inference. Cambridge University Press, Cambridge1965, ix + 232 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
Sze-Tsen Hu. Threshold logic. University of California Press, Berkeley and Los Angeles1965, xiv + 338 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation