Reviews
I. L. Gál, J. B. Rosser, and D. Scott. Generalization of a lemma of G. F. Rose. The journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 137–138.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 179
-
- Article
- Export citation
Jean Porte. Schémas pour le calcul des propositions fondé sur la conjonction et la négation.The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 421–431.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
-
- Article
- Export citation
Toshio Umezawa. On intermediate propositional logics. Ebd., Bd. 24 Nr. 1 (1959), S. 20–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 180
-
- Article
- Export citation
R. Harrop. On the existence of finite models and decision procedures for propositional calculi. Proceedings of the Cambridge Philosophical Society, vol. 54 (1958), pp. 1–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
-
- Article
- Export citation
Ronald Harrop. The finite model property and subsystems of classical propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 29–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 181
-
- Article
- Export citation
Moh Shaw-Kwei. Zhe-ch'üeh chu-yi lo-ch'i ti ch'ian-t'an ch'ai-shao (Simplified introduction to intuitionistic logic). Tung-pei Jen-min Ta-hsüeh tse-jan k'o-hsüeh hsüeh-pao, no. 2 (1957), pp. 247–265.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 181
-
- Article
- Export citation
Moh Shaw-Kwei. Yow-hsian-zhe fang-zhen hsi-t'ung ti kung-li-hua (Axiomatization of many-valued logical systems). Nan-king Ta-hsüeh hsüeh-pao tse-jan k'o-hsüeh pan vol. 1 no. 3, pp. 791–800 (pp. 67–76).
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
-
- Article
- Export citation
Moh Shaw-Kwei. Lo-chch'i hsi-t'ung ti ting-isei wun-ti (About the rules of procedure). Nan-king Ta-hsüeh hsüeh-pao tse-jan k'o-hsüeh pan vol. 1 no. 3, pp. 801–809 (pp. 77–85).
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
-
- Article
- Export citation
Moh Shaw-Kwei. Kuan-yü shu-lun han-shu ti kow-cheng (On the explicit form of number-theoretic functions). Chinese, with English Abstract.Nan-king Ta-hsüeh hsüeh-pao tse-jan k'o-hsüeh pan vol. 1 no. 1 (1958), pp. 27–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
-
- Article
- Export citation
Moh Shaw-Kwei. Yuan-shih ti-k'wei han-shu ti ting-yi (On the definition of primitive recursive functions). Acta mathematica Sinica, vol. 5 (1955), pp. 109–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
-
- Article
- Export citation
Moh Shaw-Kwei. Ming-t'i yian-suan ti kung-li hsi-t'ung (Some axiom systems for propositional calculus). Acta mathematica Sinica, vol. 5 (1955), pp. 117–135. English summary reprinted in Zentralblatt für Mathematik und ihre Grenzgebiete, vol. 64 (1957), p. 11.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
-
- Article
- Export citation
Moh Shaw-Kwei. Yi-pan t'i-k'wei han-shu ti kow-cheng (On the explicit form of general recursive functions). Acta mathematica Sinica, vol. 6 (1956), pp. 548–564.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 183
-
- Article
- Export citation
Moh Shaw-Kwei. Modal systems with a finite number of modalities. Revised English translation of XXV 184(2). Scientia Sinica, vol. 7 no. 4 (1958), pp. 388–412.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-184
-
- Article
- Export citation
Gustav Bergmann. The representations of S5. The. journal of symbolic logic, vol. 21 (1956), pp. 257–260.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
-
- Article
- Export citation
Moh Shaw-Kwei. Chü-yow yow-ch'ung koh moh-t'ai-tzu ti moh-t'ai hsi-t'ung (Modal systems with a finite number of modalities). Acta mathematica Sinica, vol. 7 (1957), pp. 1–27. - English summary reprinted in Mathematical reviews, vol. 21 (1960), p. 2. See the review of the English translation of this paper, XXV 183(2). - M. C. Badillo Barallat. Esquemas representativos de sistemas regidos por una lógica polivalente. Spanish, with English summary. Revista de cálculo automático y cibernética, vol. 4 no. 9 (1955), pp. 54–62.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
-
- Article
- Export citation
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
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
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
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
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