直觉主义完全性（逻辑论文） (11-11)

Transformation of Mathematics into Deductive Science and the

Beginnings sof its Foundation on Definitions and Axioms,SCRIPTA MATHEMATICA, Vol. X X Vll, No.1,

2 (1964).

Tarski, Alfred (1933): Der

Wahrheitsbegriff in den

formalisierten Sprachen, Studia Philosophica, vol.1 (1936),

translated by L. Blaustein from the Polish original (1933), English translation in Tarski, Logic,

Semantics, Metamathematics. Papers from 1923 to 1938,

Clarendon Press,Oxford,UK.1956.Tennant,Neil (1978):NaturalLogic, Edinburgh University Press,1978, reprinted in paperback with corrections 1990.

Troelstra, A. S. and

Schwichtenberg, H (2000):BasicProof Theory, 2nd ed.,Cambridge University Press, Cambridge, UK2000.

Zalabardo, J. L. （2000）:

Introduction to the Theory of Logic, Westview Press, Oxford,2000.

刘壮虎 (1993)：《逻辑演算》，中国社会科学出版社，1993年。

刘壮虎 (2001)：《素朴集合论》，北京大学出版社，2001年。

王宪钧 (1982)：《数理逻辑引论》，北京大学出版社，1982年，1998年重版。

晏成书 (1994)：《集合论导引》，中国社会科学出版社，1994年。

叶峰(1994)：《一阶逻辑与一阶理论》，中国社会科学出版社，1994年。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。