Reviews
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
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
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
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
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
Sheila A. Greibach. A note on pushdown store automata and regular systems. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 263–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-303
-
- Article
- Export citation
A. L. Čérnávskij. Modélirovanié procéssa réšéniá složnyh logičéskih zadač na vyčislitél′nyh mašinah (evrističéstoé programmirovanié). Russian with English summary. Avtomatika i téléméhanika, no. 1 (1967), pp. 166–187. - A. L. Chernyavskii. Computer simulation of the process of solving complex logical problems (heuristic programming). English translation of the preceding. Automation and remote control, no. 1 (1967), pp. 145–167.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation
Angelo R. Meo. On the determination of the ps maximal implicants of a switching function. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 830–840.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation
Franz E. Hohn. Applied Boolean algebra. An elementary introduction. Deuxième édition, revue et augmentée, de XXVII 104. The Macmillan Company, New York, et Collier-Macmillan Limited, Londres, 1966, xiii + 273 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
-
- Article
- Export citation
Marlow Sholander. Postulates for Boolean algebras. Canadian journal of mathematics (Journal canadien de mathématiques), vol. 5 (1953), pp. 460–464.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
-
- Article
- Export citation
G. Asser. Einführung in die mathematische Logik. Teil I. Aussagenkalkül. A reprint of XXV 276. Mathematisch-naturwissenschaftliche Bibliothek, no. 18. B. G. Teubner Verlagsgesellschaft, Leipzig1965, VI + 184 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
-
- Article
- Export citation
Karl Döhmann. Der Gruppencharakter der Transformationen der dyadischen Aussage-Verknüpfungen. Logique et analyse, n.s. t. 10 (1967), p. 218–228.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
-
- Article
- Export citation
Henryk Greniewski. Functors of the propositional calculus. VI Zjazd Matematyków Polskich, Warszawa 20–23 IX 1948, supplement to Annales de la Société Polonaise de Mathématique, vol. 22, Cracow1950, pp. 78–86. - Henryk Greniewski. Certain notions of the theory of numbers as applied to the propositional calculus. English with brief Polish summary. Časopis pro pěstováni matematiky a fysiky, vol. 74 (1950), pp. 132–136. - Henryk Greniewski. Groups and fields definable in the propositional calculus. Towarzystwo Naukowe Warszawskie, Sprawozdania z posiedzé wydzialu III nauk matematyczno fizycznych (Socété des Sciences et des Lettres de Varsovle, Comptes-rendus des séances de la classe III sciences mathématiques et physiques), vol. 43 (for 1950, pub. 1952), pp. 53–48. - H. Greniewski. Arithmetics of natural numbers as part of the bi-valued propositional calculus. Colloquium matkematicum, vol. 2 no. 3–4 (for 1951, pub. 1952), pp. 291–297.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-305
-
- Article
- Export citation
Michael Dummett. A prepositional calculus with denumerable matrix. The Journal of symbolic logic, vol. 24 no. 2 (for 1959, pub. 1960), pp. 97–106.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
-
- Article
- Export citation
R. A. Bull. The implicational fragment of Dummett's LC.The Journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 189–194.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
-
- Article
- Export citation
Ivo Thomas. Finite limitations on Dummett's LC. Notre Dame journal of formal logic, vol. 3 (1962), pp. 170–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 305
-
- Article
- Export citation
Ivo Thomas. On the infinity of positive logic. Notre Dame journal of formal logic, vol. 3 (1962), p. 108.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
-
- Article
- Export citation
R. A. Bull. Some results for implicational calculi. The Journal of symbolic logic, vol. 29 no. 1 (1964), pp. 33–39.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
-
- Article
- Export citation
C. A. Meredith. Postulates for Implicational calculi. The Journal of symbolic logic, vol. 31 (1966), pp. 7–9.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 306
-
- Article
- Export citation
C. A. Meredith and A. N. Prior. Notes on the axiomatics of the prepositional calculus. Notre Dame journal of formal logic, vol. 4 (1963), pp. 171–187.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-307
-
- Article
- Export citation