Reviews
G. Kreisel. Foundations of intuitionistic logic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 198–210.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
-
- Article
- Export citation
Hao Wang. Process and existence in mathematics. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 328–351.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
-
- Article
- Export citation
Rulon Wells. A measure of subjective information. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 237–244. - J. D. Sable, R. Wells. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 267–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
-
- Article
- Export citation
Bolesław Sobociński. On the single axioms of protothetic. Notre Dame journal of formal logic, vol. 1 (1960), pp. 52–73, and vol. 2 (1961), pp. 111–126, 129–148.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
-
- Article
- Export citation
Jean W. Butler. On complete and independent sets of truth functions in multi-valued logics. 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. 78–80. - Jean W. Butler. On complete and independent sets of operations in finite algebras. Pacific journal of mathematics, vol. 10 (1960), pp. 1169–1179.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
-
- Article
- Export citation
U. L. Vasil′év. Minimal′nyé kontaktnyé shémy dlá bulévyh funkcij čéyréh péréménnyh (Minimal switching circuits for Boolean functions of four variables). Doklady Akaédmii Nauk SSSR, vol. 127 (1959), pp. 242–245.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-247
-
- Article
- Export citation
A. Cobham, R. Fridshal, and J. H. North. An application of linear programming to the minimization of Boolean functions. Switching circuit theory and logical design, Proceedings of the Second Annual Symposium, Detroit, Mich., October 17-20, 1961, and Papers from the First Annual Symposium, Chicago, Ill., October 9-14, 1960, American Institute of Electrical Engineers, New York1961, pp. 3–9.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 247
-
- Article
- Export citation
Hansi Piesch. Begriff der allgemeinen Schaltungstechnik. Archiv für Elektrotechnik, vol. 33 (1939), pp. 672–686. - Hansi Piesch. Über die Vereinfachung von allgemeinen Schaltungen. Archiv für Elektrotechnik, vol. 33 (1939), pp. 733–746.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 247-248
-
- Article
- Export citation
E. N. Gilbert. N-terminal switching circuits. The Bell System technical journal, vol. 30 (1951), pp. 668–688.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 248
-
- Article
- Export citation
Joyce Friedman. A decision procedure for computations of finite automata. Journal of the Association for Computing Machinery, vol. 9 (1962), pp. 315–323.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
-
- Article
- Export citation
Arthur W. Burks and Hao Wang. The logic of automata. Journal of the Association for Computing Machinery, vol. 4 (1957), pp. 193–218, 279–297. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 175–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 249
-
- Article
- Export citation
Hao Wang. Toward mechanical mathematics. IBM journal of research and development, vol. 4 (1960), pp. 2–22. Reprinted IBM journal of research and development, vol. 4 (1960), pp. 224–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 249
-
- Article
- Export citation
Hao Wang. Circuit synthesis by solving sequential Boolean equations. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 269–305.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 249
-
- Article
- Export citation
Hao Wang. Some formal details on predicative set theories. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 585–623.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
Hao Wang. Ordinal numbers and predicative set theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 216–239. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 624–651.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
Paul J. Cohen. A minimal model for set theory. Bulletin of the American Mathematical Society, vol. 69 (1963), pp. 537–540.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-251
-
- Article
- Export citation
A. Lévy. Principles of reflection in axiomatic set theory. Fundamenta mathematicae, vol. 49 no. 1 (1960), pp. 1–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
-
- Article
- Export citation
A. Lévy. Axioms of multiple choice. Fundamenta mathematicae, vol. 50 no. 5 (1962), pp. 475–483.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 252
-
- Article
- Export citation
C. C. Chang. On the representation of α-complete Boolean algebras. Transactions of the American Mathematical Society, vol. 85 (1957), pp. 208–218.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 252
-
- Article
- Export citation
Robert Vaught. The elementary character of two notions from general algebra. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 226–233.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-253
-
- Article
- Export citation