Contents
Reviews
Albert A. Mullin and Wayne G. Kellner. A residue test for Boolean functions. Transactions of the Illinois State Academy of Science, vol. 51 nos. 3 and 4, (1958), pp. 14–19.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 185
-
- Article
- Export citation
R. H. Urbano and R. K. Mueller. A topological method for the determination of the minimal forms of a Boolean function. Transactions of the IRE Professional. Group on Electronic Computers, vol. EC-5 no. 3 (1956), pp. 126–132. - David M. Brender. The logical procedures needed for finding the minimals of a Boolean function on a digital computer. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, p. 210.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-370
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-92
-
- Article
- Export citation
Robert Feys. Expression de la vérifiabilité expérimentale dans le raisonnement formalisé. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 109–114. - J.-L. Destouches, J. Porte, E. W. Beth, A. Tarski, P. Bernays. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 114–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
J. Porte. Recherches sur les logiques modales. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 117–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
Ichizo Ninomiya. On the number of types of symmetric Boolean output matrices. Memoirs of the Faculty of Engineering, Nagoya University, vol. 7 (1955), pp. 115–124.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 185-187
-
- Article
- Export citation
Meeting Report
Twenty-Fifth annual Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-96
-
- Article
- Export citation
Reviews
J. Paul Roth. Two logical minimization problems. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 396–401. - J. Paul Roth. Algebraic topological methods for the synthesis of switching systems. II. Proceedings of the International Symposium on the Theory of Switching, Harvard University, April 2, 1957, The annals of the computation laboratory, vol. 29 (1959), pp. 57–73. - J. Paul Roth and E. G. Wagner. Algebraic topological methods for the synthesis of switching systems. III: Minimization of nonsingtdar Boolean trees. IBM journal of research and development, vol. 3 (1959), pp. 326–344.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 370-373
-
- Article
- Export citation
Hao Wang. Circuit synthesis by solving sequential Boolean equations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 291–322.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-375
-
- Article
- Export citation
Jean-Louis Destouches and Paulette Février. Remarques sur certains aspects formels des théories physiques. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 127–131. - M. Fréchet, J.-L. Destouches, G. Bouligand, E. W. Beth, P. Février. Interventions. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 132–133.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
Ichizo Ninomiya. A theory of the coordinate representation of switching functions. Memoirs of the Faculty of Engineering, Nagoya University, vol. 10 (1958), pp. 175–190.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
-
- Article
- Export citation
Other
Elections
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
-
- Article
- Export citation
Reviews
Warren Semon. Synthesis of series-parallel network switching functions. The Bell System technical journal, vol. 37 (1958), pp. 877–898.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 188
-
- Article
- Export citation
Alan Rose. Un multiplicateur ultrarapide. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 248 (1959), pp. 2271–2273.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-376
-
- Article
- Export citation
Other
Notice of a meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
-
- Article
- Export citation
Reviews
R. Feys. Allocution prononcée par M. R. Feys. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, pp. 135–136. - J.-L. Destouches. Allocution prononcée par M. J.-L. Destouches. Le raisonnement en mathématiques et en sciences expérimentales. Colloques internationaux du Centre National de la Recherche Scientifique 70. Editions du Centre National de la Recherche Scientifique, Paris1958, p. 137. - Håkan Törnebohm. Logical Studies. Library of Theoria, No. I. CWK Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1955, 83 pp. - Håkan Törnebohm. Discourse analysis. Theoria (Lund), vol. 21 (1955), pp. 42–54. See also Erratum, ibid., p. 181. - Håkan Törnebohm. Content of information. Theoria (Lund), vol. 21 (1955), pp. 146–157.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
-
- Article
- Export citation
M. A. Gavrilov. Minimizaciá bulévyh funkcij haraktérizuúščih réléjnyé cépi (Minimization of Boolean functions that characterize switching circuits). Avtomatika i téléméhanika, vol. 20 (1959), pp. 1217–1238.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-189
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-383
-
- Article
- Export citation
Hilary Putnam. Three-valued logic. Philosophical studies (Minneapolis), vol. 8 (1957), pp. 73–80. - Paul Feyerabend. Reichenbach's interprétation of quantum-mechanics. Philosophical studies (Minneapolis), vol. 9 (1958), pp. 49–59. - Isaac Levi. Putnam's three truth values. Philosophical studies (Minneapolis), vol. 10 (1959), pp. 65–69.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-291
-
- Article
- Export citation
Front matter
JSL volume 25 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
-
- Article
-
- You have access
- Export citation