Shaw-Kwei Moh. Yuan-shih ti-k'wei han-shu ti ting-yi . Acta mathematica Sinica, vol. 5 , pp. 109–115

Journal of Symbolic Logic 25 (2):182-182 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964257

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Shaw-Kwei Moh. Yi-pan t'i-k'wei han-shu ti kow-cheng . Acta mathematica Sinica, vol. 6 , pp. 548–564.Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):183-183.
Moh Shaw-Kwei. Chü-yow yow-ch'ung koh moh-t'ai-tzu ti moh-t'ai hsi-t'ung . Acta mathematica Sinica, vol. 7 , pp. 1–27. - English summary reprinted in Mathematical reviews, vol. 21 , p. 2. See the review of the English translation of this paper, XXV 183. - 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 , pp. 54–62. [REVIEW]John van Heijenoort - 1960 - Journal of Symbolic Logic 25 (2):184-185.
Shaw-Kwei Moh. Modal systems with a finite number of modalities. Revised English translation of XXV 184. Scientia Sinica, vol. 7 no. 4 , pp. 388–412. [REVIEW]Naoto Yonemitsu - 1960 - Journal of Symbolic Logic 25 (2):183-184.
Shaw-Kwei Moh. Lo-chch'i hsi-t'ung ti ting-isei wun-ti . Nan-king Ta-hsüeh hsüeh-pao tse-jan k'o-hsüeh pan vol. 1 no. 3, pp. 801–809. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-182.
决定论的历史命运: 现代科学与辨证决定论的建构.Yüan-Cheng P. Ang - 1996
蔡氏九儒書.Yüan-Ting Ts Ai - 1994
Chung-Kuo Fa Lü Ssu Hsiang Shih.Yüan-Hsin Chao & Ling-hua Ting - 1996
Shih-Hua Hu. Recursive algorithms. Theory of recursive algorithms I. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 843–875. Reprinted in Chinese mathematics, vol. 1 , pp. 64–96.Shih-Hua Hu and Chung-Wan Loh. Kernel functions. Theory of recursive algorithms II. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 876–888. Reprinted ibid., pp. 97–109.Shih-Hua Hu. Normal forms of recursive functions. Theory of recursive algorithms III. English translation of XXXVII 640. Scientia Sinica, vol. 9 , pp. 889–896. Reprinted ibid., pp. 110–117. [REVIEW]V. Vuckovic - 1972 - Journal of Symbolic Logic 37 (3):612-612.
Chin Shih Hsüeh Feng Yü Mao Tse-Tung Ssu Hsiang Ti Ch I Yüan = Jinshi Xuefeng Yu Maozedong Sixiang de Qiyuan.Hsiao-Ch Iang Ting - 1992
Kuan Nien Shih Ta Tz U Tien.Philip P. Wiener, I. -yüan Li, Wei-Ying Ku & Yu Shih Wen Hua Shih Yeh Kung Ssu - 1987 - Yu Shih Wen Hua Shih Yeh Kung Ssu.
Chang Chü-Shêng Hsien Shêng Ch'i Shih Shêng Jin Chi Nien Lun Wên Chi.Shih Hu, Yüan-chi Chang, Yüan-P'ei Ts'ai & Yün-wu Wang - 1937 - Shang Wu Yin Shu Kuan.
Review: Moh Shaw-Kwei, About the Rules of Procedure. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-182.
Ma-K o-Ssu Chu I Che Hsüeh Yüan Li.Ch Üan Kuo Shih Chiu so Kao Teng Yüan Hsiao "Ma-K. O.-Ssu Chu I. Che Hsüeh Yüan Li" Pien Hsieh Tsu - 1981 - Fu-Chien Jen Min Ch U Pan She Fu-Chien Sheng Hsin Hua Shu Tien Fa Hsing.
Review: Moh Shaw-Kwei, On the Definition of Primitive Recursive Functions. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-182.
Review: Moh Shaw-Kwei, Some Axiom Systems for Propositional Calculus. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-183.

Analytics

Added to PP
2016-06-30

Downloads
29 (#547,786)

6 months
6 (#507,808)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references