Contents
Reviews
Hao Wang. Undecidable sentences generated by semantic paradoxes. The journal of symbolic logic, vol. 20 (1955), pp. 31–34. Reprinted Hao Wang. as Undecidable sentences suggested by semantic paradoxes, pp. 546–558.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
-
- 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
Hao Wang. Truth definitions and consistency proofs. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 443–477.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
-
- Article
- Export citation
Burton Dreben. Relation of m-valued quantificational logic to 2-valued quantificational logic. 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. 303–304.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-376
-
- 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
Hao Wang. Between number theory and set theory. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 478–506.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
-
- 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
Ivo Thomas. Two arithmetical techniques with numbered classes. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 437–438.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 376
-
- Article
- Export citation
Jan Łukasiewicz. Uwagi o aksjomacie Nicoda i o “dedukcji uogólniającej”. (Remarks on Nicod's axiom and on “generalizing deduction”). A reprint of 1869. Z zagadnień logiki i filozofii, Pisma wybrane, by Jan Łukasiewicz, edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 164–177.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-377
-
- 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
Hao Wang. Some partial systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 507–534.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
-
- Article
- Export citation
Bolesław Sobociński. Six new sets of independent axioms for distributive lattices with O and I. Notre Dame journal of formal logic. vol. 3 (1962), pp. 187–192.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 377-378
-
- Article
- Export citation
Hao Wang. The formalization of mathematics. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 559–584.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
-
- 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
Daniel Ponasse. Structure prébooléienne. Ensemble prébooléien universel associé à un ensemble quelconque. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 248 (1959), pp. 899–902. - Daniel Ponasse. Anneau booléien universel associé à un ensemble quelconque. Applications au calcul propositionnel. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 248 (1959), pp. 1093–1096.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 378
-
- Article
- Export citation
R. Shaw. The paradox of the unexpected examination. Mind, n.s. vol. 67 (1958), pp. 382–384. - Ardon Lyon. The prediction paradox. Mind, n.s. vol. 68 (1959), pp. 510–517. - G. C. Nerlich. Unexpected examinations and unprovable statements. Mind, n.s. vol. 70 (1961), pp. 503–513. - Brian Medlin. The unexpected examination. American philosophical quarterly (Pittsburgh), vol. 1 no. 1 (1964), pp. 66–72. See Corrigenda, Brian Medlin. The unexpected examination. American philosophical quarterly (Pittsburgh), vol. 1 no. 1 (1964), p. 333.) - Frederic B. Fitch. A Goedelized formulation of the prediction paradox. American philosophical quarterly (Pittsburgh), vol. 1 no. 1 (1964), pp. 161–164.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 101-102
-
- 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
A. A. Markov. Ob invérsionnoj složnosti sistém funkcij. Doklady Akadémii Nauk SSSR, vol. 116 (1957), pp. 917–919. - A. A. Markov. On the inversion complexity of a system of functions. English translation of the preceding by Morris D. Friedman. Journal of the Association for Computing Machinery, vol. 5 (1958), pp. 331–334.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 378-379
-
- 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
David Kaplan and Richard Montague. A paradox regained. Notre Dame journal of formal logic, vol. 1 (1960), pp. 79–90. - Martin Gardner. A new prediction paradox. The British journal for the philosophy of science, vol. 13 (1962), p. 51. - K. R. Popper. A comment on the new prediction paradox. The British journal for the philosophy of science, vol. 13 (1962), p. 51.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
-
- Article
- Export citation