Reviews
Th. Skolem. The logical background of arithmetic. Bulletin de la Société Mathématique de Belgique, vol. 6 (for 1953, pub. 1954), pp. 23–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
-
- Article
- Export citation
Th. Skolem. Some considerations concerning recursive arithmetic. Bulletin de la Société Mathématique de Belgique, vol. 6 (for 1953, pub. 1954), pp. 35–46.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 228
-
- Article
- Export citation
A. Heyting. Espace de Hilbert et intuitionnisme. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 59–63. - Paul Bernays, H. Hermes, A. Heyting, Ingebrigt Johansson, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 64.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 228-229
-
- Article
- Export citation
G. Kreisel and H. Putnam. Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 (1957), pp. 74–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 229
-
- Article
- Export citation
Paul Lorenzen. Zur Interpretation der Syllogistik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2, Heft 2–4 (1956), S. 100–103; auch Archiv für Philosophie, Bd. 5, Heft 4 (1956), S. 420–423.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 229-230
-
- Article
- Export citation
Zdzisław Kraszewski. Logika stosunków zakresowych (rachunek zdań, zakresowych). Studio logica, Bd. 4 (1956), S. 63–87. - Z. Kraszewski. Logika obémnyh otnošénij (isčislénie obémnyh prédložénij). Russische Übersetzung des Vorhergehenden. Studio logica, Bd. 4 (1956), S. 88–115. - Z. Kraszewski. Logic of extensional relations. Englischer Auszug desselben. Studio logica, Bd. 4 (1956), S. 116.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-231
-
- Article
- Export citation
V. I. Šéstakov. Algébraičéskij métod analiza avtonomnyh sistém dvuhpozicionnyh rélé. I. (An algebraic method of analysis of autonomic systems of two-positional relays. I.) Avtomatika i téléméhanika, vol. 15 (1954), pp. 107–123.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 231-233
-
- Article
- Export citation
V. N. Roginskij. Učét néispol′zuémyh sostoánij pri sintézé réléjno-kontaktnyh shém (Calculation of the unutilized states in the synthesis of switching circuits). Avtomatika i téléméhanika, vol. 15 (1954), pp. 206–222.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 233
-
- Article
- Export citation
G. N. Povarov. Matričnyé métody analiza réléjno-kontaktnyh shim po usloviám nésrabatyvaniá (Matrix methods of analysis of relay circuits with resistance conditions). Avtomatika i téléméhanika, vol. 15 (1954), pp. 332–335.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 233-234
-
- Article
- Export citation
M. A. Gavrilov. Postroénié réléjnyh shém s mostikovymi soédinénámi, ishodá iz uslovij nésrabatyvaniá (Synthesis of bridge-type relay circuits with given resistance conditions). Avtomatika i téléméhanika, vol. 14 (1953), pp. 188–198.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 234
-
- Article
- Export citation
M. A. Gavrilov. Vydélénié v réléjnyh shémah cépéj, vozdéjstvuúščih na dannyj elémént (Selecting in relay networks paths energizing a given effector). Doklady Akademii Nauk SSSR, vol. 87 (1952), pp. 413–416.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 234
-
- Article
- Export citation
M. A. Gavrilov. Oprédélénié poslédovatél′nosti raboty éléméntov v réléjnyh shémah (Determination of the sequence of operation of elements in relay networks). Avtomatika i téléméhanika, vol. 13 (1952), pp. 583–591.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 234
-
- Article
- Export citation
S. M. Ákovlév. Téoriá struktur kombinatornyh méhanizmov (Theory of the structure of combinatorial mechanisms). Avtomatika i téléméhanika, vol. 19 (1958), pp. 221–227.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
-
- Article
- Export citation
E. J. McCluskey Jr. Minimization of Boolean functions. The Bell System technical journal, vol. 35 (1956), pp. 1417–1444.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
-
- Article
- Export citation
E. J. McCluskey Jr. Detection of group invariance or total symmetry of a Boolean function. The Bell System technical journal, vol. 35 (1956), pp. 1445–1453.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 236
-
- Article
- Export citation
Edwin Hirschhorn. Simplification of a class of Boolean functions. Journal of the Association for Computing Machinery, vol. 5 no. 1 (1958), pp. 67–75.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-237
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-240
-
- Article
- Export citation
Front matter
JSL volume 23 issue 2 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 23 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation