Contents
Reviews
P. Lorenzen. Methodical thinking. Ratio (Oxford), Bd. 7 (1965), S. 35–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 618
-
- Article
- Export citation
G. Fuhrken. Skolem-type normal forms for first-order languages with a generalized quantifier. Fundamenta mathematicae, vol. 54 (1964), pp. 291–302. - R. L. Vaught. The completeness of logic with the added quantifier “there are uncountably many.”Fundamenta mathematicae, vol. 54 (1964), pp. 303–304.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-122
-
- Article
- Export citation
D. L. Kreider and R. W. Ritchie. Predictably computable functionals and definition by recursion. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 65–80.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
-
- Article
- Export citation
Chr. Klixbüll Jørgensen. The extensional classification of categorical propositions and trivalent logic. Logique et analyse, n.s. vol. 10 (1967), pp. 141–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 483
-
- Article
- Export citation
Noam Chomsky and George A. Miller. Introduction to the formal analysis of natural languages. Handbook of mathematical psychology, Volume II, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London1963, pp. 269–321. - Noam Chomsky. Formal properties of grammars.Handbook of mathematical psychology, Volume II, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London1963, pp. 323–418. - George A. Miller and Noam Chomsky. Finitary models of language users.Handbook of mathematical psychology, Volume II, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London1963, pp. 419–491.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-300
-
- Article
- Export citation
Richard Taylor. The problem of future contingencies. The philosophical review, vol. 66 (1957), pp. 1–28. - Rogers Albritton. Present truth and future contingency. The philosophical review, vol. 66 (1957), pp. 29–46. - Colin Strang. Aristotle and the sea battle. Mind, n.s. vol. 69 (1960), pp. 447–465.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 483-484
-
- Article
- Export citation
R. L. Goodstein. A decidable fragment of recursive arithmetic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 199–201.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 618
-
- Article
- Export citation
H. Jerome Keisler. First order properties of pairs of cardinals. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 141–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 122
-
- Article
- Export citation
Seymour Ginsburg. The mathematical theory of context free languages. McGraw-Hill Book Company, New York, San Francisco, St, Louis, Toronto, London, and Sydney, 1966, xii + 232 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-301
-
- Article
- Export citation
V. V. Dončénko. Nékotoryé voprosy, svázannyé s problémoj razréšéniá dlá isçisléniá strogoj implikacii Akkérmana (Some questions connected with the decision problem for Ackermann's system of rigorous implication). Problémy logiki, Izdatél′stvo Akadémii SSSR, Moscow1963, pp. 18–24. - L. L. Maksimova. O sistémé aksiom isčisléniá strogoj implikacii (On a set of axioms for the system of rigorous implication). Algébra i logika, Séminar, vol. 3 no. 3 (1964), pp. 59–68. - L. L. Maksimova. Formal′nyé vyvody v isčislénii strogoj implikacii (Formal deductions in the system of rigorous implication). Algébra i logika, Séminar, vol. 5 no. 6 (1966), pp. 33–39.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-485
-
- Article
- Export citation
Erwin Engeler. A reduction-principle for infinite formulas. Mathematische Annalen, vol. 151 (1963), pp. 296–301.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
-
- Article
- Export citation
R. L. Goodstein and R. D. Lee. A decidable class of equations in recursive arithmetic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 235–239.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 618-619
-
- Article
- Export citation
Seymour Ginsburg and Joseph Ullian. Ambiguity in context free languages. Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 62–89. - Seymour Ginsburg and Joseph Ullian. Preservation of unambiguity and inherent ambiguity in context-free languages.Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 364–368. - Thomas N. Hibbard and Joseph Ullian, The independence of inherent ambiguity from complementedness among context-free languages. Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 588–593.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-302
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 485-489
-
- Article
- Export citation
E. G. K. Lopez-Escobar. On defining well-orderings. Fundamenta mathematicae, vol. 59 (1966), pp. 13–21. - E. G. K. Lopez-Escobar. An addition to “On defining well-orderings.“Fundamenta mathematicae, vol. 59 (1966), pp. 299–300.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
-
- Article
- Export citation
A. Nerode. Non-linear combinatorial functions of isols. Mathematische Zeitschrift, vol. 86 no. 5 (1965), pp. 410–424.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 619
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 490-496
-
- Article
- Export citation
Reviews
Seymour Ginsburg and Sheila Greibach. Deterministic context free languages. Informarion and control, vol. 9 (1966), pp. 620–648.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
H. Jerome Keisler. Universal homogeneous Boolean algebras. The Michigan mathematical journal, vol. 13 (1966), pp. 129–132.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
-
- Article
- Export citation
Anil Nerode. Diophantine correct non-standard models in the isols. Annals of mathematics, vol. 84 (1966), pp. 421–432.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 619
-
- Article
- Export citation