Contents
Reviews
R. M. Martin. Does modal logic rest upon a mistake?Philosophical studies (Minneapolis), vol. 14(1963), pp. 8–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
-
- Article
- Export citation
G. Kreisel. Remark on complete interpretations by models. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 (1954), pp. 4–9; also Archiv für Philosophie, vol. 5 no. 1 (1954), pp. 84–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
-
- Article
- Export citation
Fred B. Wright. Ideals in apolyadic algebra. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 544–546.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 542
-
- Article
- Export citation
W. L. Duda. Post canonical language. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 410–423.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
-
- Article
- Export citation
Ernst-Jochen Thiele. Die Verträglichkeit der Kontinuumhypothese mit dem System der Mengenlehre von Zermelo-Fraenkel. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 225–255. (See Correction, ibid., vol. 8 (1962), pp. 347–349.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 542
-
- Article
- Export citation
G. Kreisel. Gödel's intepretation of Heyting's arithmetic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 125–133. - G. Kreisel. Relations between classes of constructive functional. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 292–302. - Georg Kreisel. Interpretation of analysis by means of constructive functional of finite types. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 101–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-171
-
- Article
- Export citation
Hao Wang. Tag systems and lag systems. Mathematische Annalen, vol. 152 (1963), pp. 65–74. - John Cocke and Marvin Minsky. Universality of tag systems with D = 2. Journal of the Association for Computing Machinery, vol. 11 (1964), pp. 15–20. - Stephen A. Cook. The solvability of the derivability problem for one-normal systems. Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 223–225.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
-
- Article
- Export citation
F. R. Drake. On McKinsey's syntactical characterizations of systems of modal logic. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 400–406.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 691-692
-
- Article
- Export citation
Andrzej Mostowski. On models of Zermelo-Fraenkel set theory satisfying the axiom of constructibility. Studia logico-mathematica et philosophica, in honorem Rolf Nevanlinna die natali eius septuagesimo 22.X.1965, Acta philosophica Fennica, no. 18 (1965), pp. 135–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 542
-
- Article
- Export citation
Robert R. Korfhage. Logic and algorithms with applications to the computer and information sciences. John Wiley & Sons, Inc., New York, London, and Sydney, 1966, xii + 194 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-346
-
- Article
- Export citation
M. H. Löb. Extensional interpretations of modal logics. The journal of symbolic logic, vol. 31 (1966), pp. 23–45.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 692
-
- Article
- Export citation
Bruce Lercher. Strong reduction and normal form in combinatory logic. The journal of symbolic logic, vol. 32 (1967), pp. 213–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
-
- Article
- Export citation
Roger Hindley. Axioms for strong reduction in combinatory logic. The journal of symbolic logic, vol. 32 (1967), pp. 224–236. - Bruce Lercher. The decidability of Hindley's axioms for strong reduction. The journal of symbolic logic, vol. 32 (1967), pp. 237–239.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-172
-
- Article
- Export citation
K. Wiśniewski. Weakened forms of the axiom of choice for finite sets. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 16 (1968), pp. 615–620.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 543
-
- Article
- Export citation
David Makinson. A normal modal calculus between T and S4 without the finite model property. The journal of symbolic logic, vol. 34 (1969), pp. 35–38.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 692
-
- Article
- Export citation
Zdeněk Zastávka. Ob algorifmah s eléméntami pomáti (Über Algorithmen mit Speicherelementen). Russisch mit Zusammenfassungen auf Russisch und Tschechoslowakisch. Kybernetika (Prag), Band 4 (1968), S. 201–225.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
-
- Article
- Export citation
W. E. Singletary. Results regarding the axiomatization of partial prepositional calculi. Notre Dame journal of formal logic, vol. 9 no. 3 (for 1968, pub. 1969), pp. 193–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
-
- Article
- Export citation
K. Wiśniewski. Zamétka ob aksiomé vybora dlá konéčnyh množéstv (Remark on the axiom of choice for finite sets). Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 373–375.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 543
-
- Article
- Export citation
Alonzo Church. An independence question in recursive arithmetic. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by László Kalmár, Akadémiai Kiadó, Budapest1965, pp. 21–26.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 692-693
-
- Article
- Export citation
M. Gross and A. Lentin. Introduction to formal grammars. English translation of XXXIV 298 by M. Salkoff. Springer-Verlag, New York, Heidelberg, and Berlin, 1970, XI + 231 pp. - Noam Chomsky. Preface. Therein, pp. VII–IX.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
-
- Article
- Export citation