Contents
Reviews
O. B. Lupanov. Implementing the algebra of logic functions in terms of bounded depth formulas in the basis of &, ν, ¯. English translation of XXXVI 572. Soviet physics, Doklady, vol. 6 no. 2 (1961), pp. 107–108.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 547
-
- Article
- Export citation
O. B. Lupanov. On the realization of functions of logical algebra by formulae of finite classes (formulae of limited depth) in the basis &, ν, ¯. English translation of XXXVI 571(14) by G. R. Kiss. Problems of cybernetics, vol. 6(1965), pp. 1–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 547
-
- Article
- Export citation
O. B. Lupanov. Complexity of formula realization of functions of logical algebra. English translation of XXXVI 571(12) by G. R. Kiss. Problems of cybernetics, vol. 3 (1962), pp. 782–811.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 547-548
-
- Article
- Export citation
E. I. Nechiporuk. On the synthesis of logical nets in incomplete and degenerate basis. English translation of XXXVI 570(5). Soviet physics, Doklady, vol 9 no. 3 (1964), pp. 207–208.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 548
-
- Article
- Export citation
Karl S. Menger. Characterization and cardinality of universal functions. IEEE transactions on electronic computers, vol. EC-14 (1965), pp. 720–721.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 548-549
-
- Article
- Export citation
A. D. Zakrevskii. A visual-matrix method for minimizing Boolean functions. English translation of XXXVI 572. Automation and remote control, vol. 21 (1960), pp. 255–258.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 549
-
- Article
- Export citation
Vladeta Vučković. On some possibilities in the foundations of recursive arithmetics of words. English with Serbo-Croatian summary. Glasnik matematičko-fizički i astronomski (Periodicum mathematico-physicum et astronomicum), ser. 2 vol. 17 (1962), pp. 145–157.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 549
-
- Article
- Export citation
Vladeta Vučković. Rekurzivna aritmetika reči i konačni automati (Recursive arithmetic of words and finite automata). Serbo-Croatian with English summary. Filozofija (Belgrade), vol. 6 no. 4 (1962), pp. 41–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-550
-
- Article
- Export citation
Vladeta Vučković. On a class of regular sets. Notre Dame journal of formal logic, vol. 5 no. 2 (1964). pp. 113–124.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 550
-
- Article
- Export citation
Henry W. JohnstoneJr., Systèmes formels et systèmes ontologiques. Logique et analyse, n.s. vol. 1 (1958), pp. 24–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 550
-
- Article
- Export citation
Henry W. JohnstoneJr., The law of non-contradition. Logique et analyse, n.s. vol. 3 (1960), pp. 3–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 550-551
-
- Article
- Export citation
Jason Xenakis. Truth-functional perturbations. Logique et analyse., n. s. vol. 12 (1969), pp. 275–276.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 551
-
- Article
- Export citation
George Kimball Plochmann and Jack B. Lawson. Terms in their propositional contexts in Wittgenstein's Tractatus. An index. Southern Illinois University Press, Carbondale, Illinois, 1962, xiv + 229 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 551
-
- Article
- Export citation
Maria Kokoszyńska. Deduction as a method of proof. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 Settembre 1958), Volume quinto, Logica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 271–278.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 551
-
- Article
- Export citation
Rudolf Carnap. The logical structure of the world. Pseudoproblems in philosophy. English translation of XXXII 509(1) by Rolf A. George. University of California Press, Berkeley and Los Angeles1967, xxvi + 364 pp. - Rudolf Carnap. Preface to the second edition. English translation of XXXII 509(2). Therein, pp. v–xi. - Rudolf Carnap. Bibliography 1961. English translation of XXXII 509(3). Therein, pp. xiii–xiv. - Rolf A. George. Translator's preface. Therein, pp. xix–xx.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 551-552
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 552-575
-
- Article
- Export citation
Other
Meeting of the Association for Symbolic Logic Santiago, Chile 1970
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 576-580
-
- Article
- Export citation
Announcements of the journal Nous
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 580
-
- Article
- Export citation
Notice of a directory of historians of mathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 580
-
- Article
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 580
-
- Article
- Export citation