Contents
Reviews
Shôji Maehara. A system of simple type theory with type variables. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 4 (1969), pp. 131–137.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 604-605
-
- Article
- Export citation
H. J. Keisler. Models with orderings. 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, Amsterdam 1968, pp. 35–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
-
- Article
- Export citation
Ú. V. Matiásévič. Diofantovo prédstavlénié péréčislimyh prédikatov. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 35 (1971), pp. 3–30. - Ju. V. Matijasevič. Diophantine representation of enumerable predicates. English translation of the preceding by F. M. Goldware. Mathematics of the USSR, Izvestija, vol. 5 (for 1971, pub. 1972), pp. 1–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 605
-
- Article
- Export citation
Carol Karp. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages, edited by Jon Barwise, Lecture notes in mathematics, no. 72, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 80–95.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
-
- Article
- Export citation
C. I. Lewis. Replies to my critics. The philosophy of C. I. Lewis, edited by Paul Arthur Schilpp, The library of living philosophers, vol. 13, Open Court, La Salle, Ill., and Cambridge University Press, London, 1968, pp. 653–676.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
-
- Article
- Export citation
Jon Barwise. Applications of strict predicates to infinitary logic. The journal of symbolic logic, vol. 34 (1969), pp. 409–423.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-336
-
- Article
- Export citation
R. A. Bull. An approach to tense logic. Theoria, vol. 36 (for 1970, pub. 1971), pp. 282–300.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
-
- Article
- Export citation
John Case. Enumeration reducibility and partial degrees. Annals of mathematical logic, vol. 2 no. 4 (1971), pp. 419–439.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-606
-
- Article
- Export citation
Desmond Paul Henry. The truncation of truth-functional calculation. Notre Dame journal of formal logic, vol. 2 (1961), pp. 193–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 174
-
- Article
- Export citation
Jerome Malitz. Universal classes in infinitary languages. Duke mathematical journal, vol. 36 (1969), pp. 621–630.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 336
-
- Article
- Export citation
B. A. Trahténbrot. O častotnom vyčislénii funkcij (On frequential computation of functions). Algébra i logika, Séminar, vol. 2 no. 1 (1963), pp. 25–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 606
-
- Article
- Export citation
Irving M. Copi. The theory of logical types. Routledge & Kegan Paul, London1971, x + 129 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-177
-
- Article
- Export citation
Roger C. Lyndon. The representation of relation algebras, II. Annals of mathematics, ser. 2 vol. 63 (1956), pp. 294–307.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
-
- Article
- Export citation
Tosiyuki Tugué and Sigeru Hinata. A note on continuous functionals. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 4 (1969), pp. 138–145.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 606-607
-
- Article
- Export citation
Irving M. Copi. Symbolic logic. Third edition of XIX 282. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, xvi + 400 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-178
-
- Article
- Export citation
Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 (1968), S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria (Lund), Bd. 33 (1967), S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 (1967), S. 399–410.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 607
-
- Article
- Export citation
Ralph McKenzie. Representations of integral relation algebras. The Michigan mathematical journal, vol. 17 (1970), pp. 279–287.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
-
- Article
- Export citation
Bruno Scarpellini. Proof theory and intuitionistic systems. Lecture notes in mathematics, no. 212. Springer-Verlag, Berlin, Heidelberg, and New York, 1971, VII + 291 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-609
-
- Article
- Export citation
David W. Kueker. Generalized interpolation and definability. Annals of mathematical logic, vol. 1 no. 4 (1970), pp. 423–468.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-338
-
- Article
- Export citation
Gerald B. Standley. New methods in symbolic logic. Houghton MifHin Company, Boston, New York, Atlanta, Geneva, Illinois, Dallas, and Palo Alto, 1971, vi + 217 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 178-179
-
- Article
- Export citation