Contents
Reviews
Ú. I. Žuravlév. O névozmožnosti postroéniá minimal'nyh dizúnktivnyh normal'nyh form funkcij algébry logiki v odnom kassé algoritmov. Doklady Akadémii Nauk SSSR, vol. 132 (1960), pp. 504–506. - Yu. I. Žuravlev. On the impossibility of constructing minimal disjunctive normal forms for functions of the algebra of logic in a single class of algorithms. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 1 no. 3 (1960), pp. 581–583.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 379
-
- Article
- Export citation
Karel Lambert. Existential import revisited. Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 288–292.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
-
- 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
M. A. Gavrilov. Postroénié signalov téléupravléniá s kombinirovannym ispol'zovaniém impul'snyh priznakov (Construction of remote control signals with combined use of pulse indications). Avtomatika i téléméhanika, vol. 17 (1956), pp. 1092–1113.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 379
-
- Article
- Export citation
Paul Lorenzen. Die Allgemeingültigkeit der logischen Regeln. Studium generale, vol. 6 (1953), pp. 605–609.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
-
- 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
A. Š. Bloh. Sintéz réléjno-kontaktnyh shém (The synthesis of relay-contact circuits). Doklady Akadémii Nauk SSSR, vol. 117 (1957), pp. 609–612.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 379-380
-
- Article
- Export citation
Aleksandr Sergeyevich Yesenin-Volpin. Svobodny filosofskij traktat (A free philosophical treatise). Russian with English translation in parallel. Vésénnij list (A leaf of spring), Frederick A. Praeger, New York1961, pp. 109–173.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-105
-
- Article
- Export citation
Františék Svoboda. K. postroéniú péréklúčatél'nyh shém opytnym putém (On the construction of switching circuits by the experimental method). Bulletin mathématique de la Société des Sciences Mathématiques et Physiques de la République Populaire Roumaine, n.s. vol. 2(50) no. 2 (1958), pp. 191–201.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 380
-
- 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
Robert Blanché. Axiomatics. English translation of XXIII 438, by G. B. Keene. Monographs in modern logic. The Free Press of Glencoe, New York1962, v + 65 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
-
- Article
- Export citation
Layman E. Allen. Wff 'n proof. The game of modern logic. Wff 'n proof, New Haven, Conn., 1962, viii + 224 pp. - Layman E. Allen. Wff. The beginner's game of modern logic. Wff 'n proof, New Haven, Conn., 1963, 78 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
-
- Article
- Export citation
Frederic B. Fitch. Representation of sequential circuits in combinatory logic. Philosophy of science, vol. 25 (1958), pp. 263–279.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 380
-
- 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
V. M. Gluškov. Sintéz cifrovyh avtomatov (Synthesis of digital automata). Gosudarstvénnoé Izdatél'stvo Fiziko-matématičéskoj Litératury, Moscow1962, 476 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 380-381
-
- Article
- Export citation
Robert E. Clay. A simple proof of functional completeness in many-valued logics based on Łukasiewicz's C and N. Notre Dame journal of formal logic, vol. 3 (1962), pp. 114–117. - Robert E. Clay. Note on Stupecki T-functions. The journal of symbolic logic, vol. 27 no. 1 (for 1962, pub. 1963), pp. 53–54.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
-
- 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
Ú. T. Médvédév. O klassé sobytij, dopuskaúščih prédstavlénié v konéčnom avtomaté (On a class of events representable in a finite automaton). Avtomaty, Izdatél'stvo Inostrannoj Litératury, Moscow1956, pp. 385–401.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 381-382
-
- Article
- Export citation