Reviews
Julia Robinson. A note on primitive recursive functions. Ebd., S. 667–670.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 376
-
- Article
- Export citation
Rózsa Péter. Die beschränkt-rekursiven Funktionen und die Ackermannsche Majorisierungsmethode. Publicationes mathematicae (Debrecen), vol. 4 no. 3–4 (1956), pp. 362–375.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 376
-
- Article
- Export citation
Hans Hermes. Maschinen zur Entscheidung von mathematischen Problemen. Mathematisch-physikalische Semesterberichte (Göttingen), vol. 2 no. 3/4 (1952), pp. 179–189.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-377
-
- Article
- Export citation
P. Puig Adam. Métodos gráfico y algebraico para el proyecto de circuitos electrónicos de cálculo. Revista de ciencia aplicada (Madrid), vol. 6 (1952), pp. 289–302.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 377
-
- Article
- Export citation
R. Gréa and R. Higonnet. Étude logique des circuits de contacts. Revue générale de l'électricité, vol. 63 (1954), pp. 19–34. - R. Higonnet and R. Gréa. Étude logique des circuits électriques et des systèmes binaires. Berger-Levrault, Paris1955, viii + 452 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 377-378
-
- Article
- Export citation
A. G. Lunc. Sintéz i analiz réléjno-kontaktnyh shém s pomošč'ú haraktérističéskih funkcij (Synthesis and analysis of relay-contact networks with the aid of characteristic functions). Dohlady Akadémii Nauk SSSR, vol. 75 (1950), pp. 201–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 378
-
- Article
- Export citation
A. G. Lunc. Algébraičéskié métody analiza i sintéza kontaktnyh shém (Algebraic methods of analysis and synthesis of contact networks), lzvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 16 (1952), pp. 405–426.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 378
-
- Article
- Export citation
A. G. Lunc. Métod sintéza (1, k)-polúsnika (Method of synthesis of a (1, k)-terminal network). Doklady Akadémii Nauk SSSR, vol. 112 (1957), pp. 55–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 378
-
- Article
- Export citation
J. Kalicki. On comparison of finite algebras. Proceedings of the American Mathematical Society, vol. 3 (1952), pp. 36–40.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 378-379
-
- Article
- Export citation
R. C. Lyndon. Identities in finite algebras. Proceedings of the American Mathematical Society, vol. 5 (1954), pp. 8–9.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 379
-
- Article
- Export citation
C. C. H. Barker. Some calculations in logic. The mathematical gazette, vol. 41 (1957), pp. 108–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 379
-
- Article
- Export citation
Alan Rose. Le degré de saturation du calcul propositionnel implicatif à m valeurs de Łukasiewicz. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 240 (1955), pp. 2280–2281.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 379-380
-
- Article
- Export citation
Alan Rose. An alternative Normalisation of Sobociński's three-valued implicational propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 2 (1956) pp. 166–172.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 380
-
- Article
- Export citation
Veli Valpola. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. Mathematica Scandinavica, vol. 3 (1955), pp. 107–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 380
-
- Article
- Export citation
E. J. Lemmon. Alternative postulate sets for Lewis's S5. The journal of symbolic logic, vol. 21 (1956), pp. 347–349.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 380-381
-
- Article
- Export citation
J. C. Shepherdson. On the interpretation of Aristotelian syllogistic. The journal of symbolic logic, vol. 21 (1956), pp. 137–147.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 381
-
- Article
- Export citation
Ivo Thomas. Eulerian syllogistic. The journal of symbolic logic, vol. 22 no. 1 (1957), pp. 15–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 381-382
-
- Article
- Export citation
Karl Dürr. Die Syllogistik des Johannes Hospinianus (1515–1575). Synthese, vol. 9 issue 5 nos. 6A and 6B (1955), pp. 472–484. - Antoni Korcik. Teoria sylogizmu Hospiniana i Leibniza {The theory of syllogism according to Hospinianus and Leibniz). Polish with English summary. Roczniki filozoficzne, vol. 4 (1955), pp. 51–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 382
-
- Article
- Export citation
I. M. Bocheński Spitzfindigkeit. Festgabe an die Schweizerkatholihen, Universitätsverlag, Freiburg1954, pp. 334–352.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 382
-
- Article
- Export citation
Herman Meyer. La négation et la logique. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 91–101.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 383
-
- Article
- Export citation