Contents
Reviews
Joyce Friedman. Some results in Church's restricted recursive arithmetic. The journal of symbolic logic, vol. 22 no. 4 (for 1957, pub. 1958), pp. 337–342.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-242
-
- Article
- Export citation
W. V. Quine. Interpretations of sets of conditions. The journal of symbolic logic, vol. 19 (1954), pp. 97–102.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 242
-
- Article
- Export citation
Á. I. Méklér. Péréhodnyé režimy v réléjno-kontaktnyh shémah (Transient process in relay-contact circuits). Avtomattka t téléméhanika, vol. 18 (1957), pp. 59–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-75
-
- Article
- Export citation
S. V. Áblonskij. O klassah funkcij algébry logiki, dopuskaúščih prostuú shémnuú realizáciú (On classes of functions of the algebra of logic admitting a simple network realization). Uspéhi matématičéskih nauk, vol. 12 no. 6 (1957), pp. 189–196.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-76
-
- Article
- Export citation
Ludwik Borkowski. Systems of the propositional and of the functional calculus based on one primitive term. English, with Polish and Russian summaries. Studia logica, vol. 6 (1957), pp. 7–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-243
-
- Article
- Export citation
Juliusz Reichbach. Some definition of the proper prime ideal. Riveon lematematika, vol. 13 (1959), pp. 29–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 243
-
- Article
- Export citation
O. B. Lupanov. O vozmožnostáh sintéza shém iz raznoobraznyh eléméntov. Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 561–563. - O. B. Lupanov. On the possibilities of designing circuits out of various elements. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1957, 5 pp. - O. B. Lupanov. O sintézè kontaktnyh shém. Doklady Akadémii Nauk SSSR, vol. 119 (1958), pp. 23–26. - O. B. Lupanov. On the synthesis of contact circuits. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., 1958, 5 pp. - O. B. Lupanov. On the synthesis of contact networks. English translation of the same. Automation express, vol. 1 no. 3 (1958), pp. 7–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
-
- Article
- Export citation
William Craig. Linear reasoning. A new form of the Herbrand-Gentzen theorem. The journal of symbolic logic, vol. 22 (1957), pp. 250–268. - William Craig. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. The journal of symbolic logic, vol. 22 (1957), pp. 269–285.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
-
- Article
- Export citation
V. M. Ostianu. O sintézé kontaktnyh shém s šagovymi péréklúčatélámi. Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 827–830. - V. M. Ostianu. On the synthesis of switching circuits with selector switches. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1957, 7 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 76-77
-
- Article
- Export citation
Rene A. Higonnet and Rene A. Grea. Logical design of electrical circuits. McGraw-Hill Book Company, New York-Toronto-London1958, ix + 220 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-78
-
- Article
- Export citation
A. H. Lightstone and A. Robinson. Syntactical transforms. Transactions of the American Mathematical Society, vol. 86 (1957), pp. 220–245.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
-
- Article
- Export citation
Edward F. Moore. Table of four-relay contact networks. Therein, pp. 195–216.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
-
- Article
- Export citation
R. L. Goodstein. Logic-free formalisations of recursive arithmetic. Mathematica Scandinavica, Bd. 2 (1954), S. 247–261.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
-
- Article
- Export citation
W. L. van der Poel. Enige bijzondere onderwerpen uit de schakelalgebra (Some selected topics on switching algebra). De ingenieur (Utrecht), vol. 67 no. 1 (1955), pp. E.9–E.14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
-
- Article
- Export citation
H. Hiż. A warning about translating axioms. The American mathematical monthly, vol. 65 (1958) pp. 613–614.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
-
- Article
- Export citation
Czesław Lejewski. On implicational definitions. English, with Polish and Russian summaries. Studia logica, vol. 8 (1958), pp. 189–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-247
-
- Article
- Export citation
Martin Gardner. Logic machines and diagrams. McGraw-Hill Book Company, Inc., New York-Toronto-London1958, ix + 157 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-79
-
- Article
- Export citation
Jürgen v. Kempski. Relationen- und prädikatenlogische Untersuchungen zur Syllogistik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 (1956), S. 87–99; auch Archiv für Philosophie, Bd. 5 (1956), S. 407–419.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 79-80
-
- Article
- Export citation
J. Porte. Deux systèmes simples pour le calcul des propositions. Publications scientifiques de lˇUniversité dˇAlger, Série A, Mathématiques, vol. 5 (1958), pp. 5–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 247
-
- Article
- Export citation
Paul Lorenzen. Über die Syllogismen als Relationenmultiplikationen. Archiv für mathematische Logik und Grundlagenforschung, Bd. 3 (1957), S. 112–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 80-81
-
- Article
- Export citation