Introduction to metamathematics. Volumes 1, 2. Transl. from the English by Mo Shaokui. (Chinese) Zbl 0604.03002

Shuxue Mingzhu Yi Cong (Collection of translations of famous mathematical works). Beijing: Kexue Chubanske (Science Press). XII, IX, 688 p. (1985).
See the review of the English original (1952) in Zbl 0047.00703.


03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03D20 Recursive functions and relations, subrecursive hierarchies
03F50 Metamathematics of constructive systems


Zbl 0047.00703