Reviews
Richard L. Poss. A note on a lemma of J. W. Addison. Notre Dame journal of formal logic, vol. 11 (1970), pp. 337–339.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
-
- Article
- Export citation
James Ax. Solving diophantine problems modulo every prime. Annals of mathematics, ser. 2 vol. 85 (1967), pp. 161–183.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-162
-
- Article
- Export citation
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
Charles F. Kielkopf. Kripke's axiomatization of S2. Notre Dame journal of formal logic, vol. 13 (1972), pp. 379–380.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 661
-
- Article
- Export citation
P. T. Geach. Aristotle on conjunctive propositions. Ratio (Oxford), vol. 5 no. 1 (1963), pp. 33–45.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 661-662
-
- 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
James Ax. The elementary theory of finite fields. Annals of mathematics, ser. 2 vol. 88 (1968), pp. 239–271.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 162-163
-
- Article
- Export citation
David Isles. Regular ordinals and normal forms. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N. Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 339–361.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
-
- Article
- Export citation
Newcomb Greenleaf. Fields in which varieties have rational points: a note on a problem of Ax. Proceedings of the American Mathematical Society, vol. 27 (1971), pp. 139–140.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
-
- Article
- Export citation
Shaligram Singh. The independence of a strong axiom of choice. The mathematical gazette, vol. 46 (1962), pp. 126–129.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
-
- 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
E. J. Lemmon. If I know, do I know that I know? Epistemology, New essays in the theory of knowledge, edited by Avrum Stroll, Harper & Row, New York, Evanston, and London, 1967, pp. 54–82. - Arthur C. Danto. On knowing that we know. Epistemology, New essays in the theory of knowledge, edited by Avrum Stroll, Harper & Row, New York, Evanston, and London, 1967, pp. 32–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 662
-
- Article
- Export citation
Thomas J. Jech. Two remarks on elementary embeddings of the universe. Pacific journal of mathematics, vol. 39 (1971), pp. 395–400.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-336
-
- Article
- Export citation
F. Waismann. Language strata. Logic and language (Second series), edited by A. G. N. Flew, Basil Blackwell, Oxford 1953, and Philosophical Library, New York 1953, pp. 11–31; also Logic and language (First and second series), edited and with introductions by Antony Flew, Doubleday Anchor Books, Doubleday & Company, Inc., Garden City, N.Y., 1965, pp. 226–247.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
-
- 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
R. Sikorski. A topological characterization of open theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 259–260.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-164
-
- Article
- Export citation
A. D. Tajmanov. Haraktéristiki aksiomatiziruémyh klassov modélej (Characteristics of axiomatizable classes of models). Algébra i logika, Séminar, vol. 1 no. 4 (1962), pp. 5–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 164
-
- Article
- Export citation
R. Harré. Preface. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, p. vii. - F. Waismann. How I see philosophy. A reprint of XXIII 209. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 1–38. - F. Waismann. Verifiability. A reprint of XII 101. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 39–66. - F. Waismann. Are there alternative logics? A reprint of XII 100. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 67–90. - F. Waismann. Language strata, Part one. A reprint, with different title, of XVI 75. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 91–102. - F. Waismann. Language strata, Part two. A reprint of XXXVIII 663. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 102–121. - F. Waismann. Analytic-synthetic. A reprint of XXI 84. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 122–207. - F. Waismann. The decline and fall of causality. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 208–256. (Reprinted from Turning points in physics, edited by A. C. Crombie, North-Holland Publishing Company, Amsterdam 1959, pp. 84–154.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-665
-
- 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
Dana Scott. On constructing models for arithmetic. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 235–255.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-337
-
- Article
- Export citation