Contents
Reviews
Klaus Härtig. Axiomatische Probleme in der klassischen Syllogistik. Bericht über die Mathematiker-Tagung in Berlin vom 14. bis 18. Januar 1953, Deutscher Verlag der Wissenschaften, Berlin1953, pp. 19–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
-
- Article
- Export citation
Klaus Härtig. Die “identischen Urteile” der Syllogistik. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam 1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 28–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 96
-
- Article
- Export citation
W. L. Parker and B. A. Bernstein. On uniquely solvable Boolean equations. University of California publications in mathematics, n.s. vol. 3 no. 1 (1955), pp. 1–29.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-97
-
- Article
- Export citation
Roberto Frucht. Cien axos de álgebra de Boole. Scientia (Valparaiso), vol. 21 (1954), pp. 167–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 97
-
- Article
- Export citation
Günter Schliebs. Ueber die Grundlagen der Algebra der Logik und ihre Anwendung in der Schaltungstheorie. Funk und Ton, vol. 8 (1954), pp. 57–71.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
-
- Article
- Export citation
Hans Rohleder. Die Verwendung von Aussagenkalkülen zur Beschreibung elektrischer Schaltungen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 1 (1955), pp. 304–309.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
-
- Article
- Export citation
G. N. Povarov. K izučéniú simmétričéskih Bulévyh funkcij s točki zréniá téorii réléjno-kontaktnyh shém (Concerning the study of symmetric Boolean functions from the point of view of the theory of relay-contact circuits). Doklady Akadémii Nauk SSSR, vol. 104 (1955), pp. 183–185.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
-
- Article
- Export citation
František Svoboda. Neurčitá dvouhodnotová Booleova funkce (An indeterminate two-valued Boolean function). Česko-slovensky časopis pro péstovani matematiký, vol. 4 (1953), pp. 273–275. - František Svoboda. Užiti neurčité dvouhodnotové Booleovy funkce na synthesu jednotaktnich hradlových schemat (The use of indeterminate two-valued Boolean functions for the synthesis of switching circuits). Československá Akademie Véd, Laboratoř Matematických Stroju̇, Stroje na zpracováni informaci, no. 2 (1954), pp. 209–224.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-100
-
- Article
- Export citation
Makoto Itoh. “n-ti kansû soku” (n-ti ronri) ni tuite (On the “lattice of n-valued functions” (n-valued logic)). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 28 no. 2 (1955), pp. 96–99, 99–101.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
-
- Article
- Export citation
Makoto Itoh. Itigen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in one variable). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 28 no. 4 (1956), pp. 239–243.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
-
- Article
- Export citation
Makoto Itoh. Tagen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in several variables). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 28 no. 4 (1956), pp. 243–246.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
-
- Article
- Export citation
Makoto Itoh. Tagen Boole (nitironri) hôteisiki no ippankai ni tuite (On the general solution of the Boolean (two-valued logical) equation in several variables). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 28 no. 4 (1956), pp. 246–248.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 101
-
- Article
- Export citation
Toshihiko Kurihara. Yûgen tatironri no denki kairo ni yoru hyôgen ni tuite (On the representation of finitely many-valued logics by electric circuits). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 28 no. 2 (1955), pp. 102–106.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 102
-
- Article
- Export citation
Kamenosuke Yasuura. Keidenkikairo ni yoru tatimeidaironri no hyôgen ni tuite (On the representation of many-valued propositional logics by relay circuits). Kyûsyû Daigaku kôgaku syûhô (Technology reports of the Kyushu University) (Fukuoka), vol. 28 no. 2 (1955), pp. 94–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 102
-
- Article
- Export citation
H. B. Curry. The logic of program composition. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris—25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, série A, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 97–102.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-103
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
-
- Article
- Export citation
Meeting Report
Twenty-First Annual Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-112
-
- Article
- Export citation
Other
Elections
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
Front matter
JSL volume 22 issue 1 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f7
-
- Article
-
- You have access
- Export citation