Reviews
Steven Orey. Model theory for the higher order predicate calculus. Transactions of the American Mathematical Society, vol. 92 (1959), pp. 72–84.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
-
- Article
- Export citation
Simon Kochen. Completeness of algebraic systems in higher order calculi. 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. 370–376.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 97
-
- Article
- Export citation
Hugo Ribeiro. The notion of universal completeness. Portugaliae mathematica, vol. 15 no. 3 (for 1956, pub. 1957), pp. 83–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 97
-
- Article
- Export citation
Abraham Robinson. Applications to field theory. 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. 326–331.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 97
-
- Article
- Export citation
H. Rasiowa and R. Sikorski. On the isomorphism of Lindenbaum algebras with fields of sets. Colloquium mathematicum, vol. 5 (1958), pp. 143–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
-
- Article
- Export citation
Frank W. Anderson. Function lattices. Lattice theory. Proceedings of symposia in pure mathematics, vol. 2 (1961), pp. 198–202.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
-
- Article
- Export citation
A. A. Markov. Nérazréšimosť problémy goméomorfii (Insolubility of the problem of homeomorpby). Proceedings of the International Congress of Mathematicians, 14–21 August 1958, Cambridge at the University Press1960, pp. 300–306.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
-
- Article
- Export citation
D. J. Christensen and R. S. Pierce. Free products of α-distributive Boolean algebras. Mathematica Scandinavica, vol. 7 (1959), pp. 81–105.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-100
-
- Article
- Export citation
R. S. Pierce. A generalization of atomic Boolean algebras. Pacific journal of mathematics, vol. 9 (1959), pp. 175–182.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
-
- Article
- Export citation
R. S. Pierce. Representation theorems for certain Boolean algebras. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 42–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
-
- Article
- Export citation
Antoniń Špaček. Statistical estimation of provability in Boolean logic. Transactions of the Second Prague Conference on Information Theory, Statistical Decision Functions and Random Processes, held at Liblice near Prague, from June 1 to 6, 1959, Publishing House of the Czechoslovak Academy of Sciences, Prague1960, pp. 609–626.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-102
-
- Article
- Export citation
A. Newell, J. C. Shaw, and H. A. Simon. Empirical explorations of the logic theory machine: A case study in heuristic. Proceedings of the Western Joint Computer Conference, Los Angeles1957, pp. 218–230. - Bryan Cowan, G. H. McClurg, A. Newell, P. E. Tanner, L. D. Yarbrough. Discussion. Proceedings of the Western Joint Computer Conference, Los Angeles1957, p. 230.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
-
- Article
- Export citation
A. Newell and J. C. Shaw. Programming the logic theory machine. Proceedings of the Western Joint Computer Conference, Los Angeles1957, pp. 230–240. - J. Matlock, L. P. Meissner, P. Sayre, and J. C. Shaw. Discussion. Proceedings of the Western Joint Computer Conference, Los Angeles1957, p. 240.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 103
-
- Article
- Export citation
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
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
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
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
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
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