Contents
Reviews
Hao Wang. Symbolic representations of calculating machines. 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. 181–188.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 103
-
- Article
- Export citation
Walter E. Stuermann. Plotting Boolean functions. American mathematical monthly, vol. 67 (1960), pp. 170–172. - Walter E. Stuermann. The Boole table generalized. American mathematical monthly, vol. 68 (1961), pp. 53–56.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-247
-
- Article
- Export citation
R. Fridshal. The Quine algorithm. 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. 211–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 103
-
- Article
- Export citation
J. Eldon Whitesitt. Boolean algebra and its applications. Addison-Wesley Publishing Company, Reading, Mass., and London, 1961, x + 182 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
-
- Article
- Export citation
Arto Salomaa. On the number of simple bases of the set of f unctions over a finite domain. Annales Universitatis Turkuensis, Series A, no. 52, Turun Yliopisto, Turku1962, 4 pp. - Arto Salomaa. Some completeness criteria for sets of functions over a finite domain. Annales Universitatis Turkuensis, Series A, no. 53, Turku1962, 10 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 247
-
- Article
- Export citation
Franz E. Hohn. Applied Boolean algebra. An elementary introduction. The Macmillan Company, New York1960, xx + 139 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-106
-
- Article
- Export citation
Ú. I. Ánov and A. A. Mučnik. O suščéstvovanii k-značnyh zamknutyh klassov, né iméúščih konéčnogo bazisa (On the existence of k-valued closed classes not having a finite basis). Doklady Akademii Nauk SSSR, vol. 127 (1959), pp. 44–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-248
-
- Article
- Export citation
Jean Porte. Un système logistique très faible pour le calcul propositionnel classique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 254 (1962), pp. 2500–2502.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 248
-
- Article
- Export citation
Frederick C. HennieIII., Iterative arrays of logical circuits. M.I.T. Press research monograph. The M.I.T. Press, Cambridge, Mass., and John Wiley Sons, Inc., New York and London, 1961, x + 242 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-107
-
- Article
- Export citation
Hugues Leblanc. An extension of the equivalence calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 104–105.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 248
-
- Article
- Export citation
A. G. Lunc. O supérpozicii kontaktnyh, shém (On superposition of contact circuits). Izvéstiá Léningradskogo Eléktrotéhničéskogo Instituta iméni V. I. Ul′ánova (Lénina), vol. 45 (1961), pp. 277–289.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-108
-
- Article
- Export citation
Hugues Leblanc. Études sur les règles d'inférence dites “règles de Gentzen.”Dialogue, vol. 1 no. 1 (1962), pp. 56–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
-
- Article
- Export citation
Trenchard MoreJr., On the construction of Venn diagrams. The journal of symbolic logic, vol. 24 no. 4 (for 1959, pub. 1961), pp. 303–304.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 108
-
- Article
- Export citation
Theodore Hailperin. A complete set of axioms for logical formulas invalid in some finite domains. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 84–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-109
-
- Article
- Export citation
J. M. Pugmire and A. Rose. Formulae corresponding to universal decision elements. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 1–9. - A. Rose. The use of universal decision elements as flip-flops. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 169–174. - Alan Rose. Nouvelle méthode pour déterminer les formules qui correspondent à des éléments universels de décision. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 249 (1959), pp. 870–872.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
Alan Rose. Many-valued logical machines. Proceedings of the Cambridge Philosophical Society, vol. 54 (1958), pp. 307–321.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
Shôji Maehara. Gentzen's theorem on an extended predicate calculus. Proceedings of the Japan Academy, vol. 30 no. 10 (1954), pp. 923–926.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
-
- Article
- Export citation
Shôji Maehara. The predicate calculus with ε-symbol. Journal of the Mathematical Society of Japan, vol. 7 (1955), pp. 323–344.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
-
- Article
- Export citation
Alan Rose. A note on the use of logical computers to determine the most efficient method of using factory machines. Proceedings of the Cambridge Philosophical Society, vol. 56 part 2 (1960), pp. 186–188. - Alan Rose. A high speed parallel adder. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 240–249.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
-
- Article
- Export citation
Shôji Maehara. Equality axiom on Hubert's ε-symbol. Journal of the Faculty of Science, University of Tokyo, Sec. I, vol. 7 (1957), pp. 419–435.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-110
-
- Article
- Export citation