Contents
Reviews
A. A. Markov. O logiké konstruktivnoj matématiki. Véstnik Moskovskogo Univérsiteta, Séria I, matématika, méhanika, no. 2 (1970), pp. 7–29. - A. A. Markov. On the logic of constructive mathematics. English translation of the preceding. Moscow University mathematics bulletin, vol. 25 (1970), pp. 45–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
-
- Article
- Export citation
T. λ K. Kloyda. Bolzano, Bemhard. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 2, p. 653.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
-
- Article
- Export citation
J. Diller. Zur Berechenbarkeit primitiv-rekursiver funktionale endlicher Typen. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 109–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 453-454
-
- Article
- Export citation
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
G. L. Farre. Boole, George. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 4, p. 701.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
-
- 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
A. A. Markov. An approach to constructive mathematical logic. 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. 283–294. - A. A. Markov. Essai de construction d'une logique de la mathématique constructive. Revue Internationale de philosophic, vol. 25 (1971), pp. 477–507.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
-
- Article
- Export citation
I. D. Zaslavskij. Nékotoryé svojstva konstruktivnyh v隡éstvennyh čisél i konstruktivnyh funkcij. Problémy konstruktivnogo napravléniá v matématiké, 2 (Konstruktivnyj matématčéskij analiz), Sbornik robot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 67, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1962, pp. 385–457.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 454
-
- Article
- Export citation
G. L. Farre. De Morgan, Augustus. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 4, p. 760.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
-
- Article
- Export citation
S. B. Cooper. Degrees of unsolvability complementary between recursively enumerable degrees, Part I. Annals of mathematical logic, vol. 4 no. 1 (1972), pp. 31–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 86
-
- 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
Daniel Lacombe. Recursion theoretic structure for relational systems. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 3–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 454-455
-
- Article
- Export citation
Walter Taylor. Some constructions of compact algebras. Annals of mathematical logic, vol. 3 no. 4 (1971), pp. 395–437. - Walter Taylor. Residually small varieties. Algebra universalis (Basel), vol. 2 no. 1 (1972), pp. 33–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 455-456
-
- Article
- Export citation
S. B. Cooper. Minimal degrees and the jump operator. The journal of symbolic logic, vol. 38 (1973), pp. 249–271.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-87
-
- Article
- Export citation
G. L. Farre. Frege, Gottlob. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 6, p. 141.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
-
- 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
Sanat K. Basu. On the structure of subrecursive degrees. Journal of computer and systems sciences, vol. 4 (1970), pp. 452–464.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 87
-
- Article
- Export citation
Miroslav Benda. On saturated reduced products. Pacific journal of mathematics, vol. 39 (1971), pp. 557–571.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 456
-
- 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
H. A. Nielsen. Linguistic analysis. New Catholic encyclopedia, prepared by an editorial staff at the Catholic University of America, McGraw-Hill Book Company, New York etc. 1967, vol. 8, pp. 773–775.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 596
-
- Article
- Export citation