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

Formelsprache des reinen Denkens, Louis Nebert, Halle. English translation in van Heijenoort (1967).Gentzen, Gerhard (1934

一1935)：Untersuchungen über das logische Schliessen l-ll，

Mathematische Zeitschrift.,Vol.39.English translation in M. E.Szabo

(ed.), The Cöllected Papers of GerhardGentzen. North .,Amsterdam,1969.

Gödel, Kurt (1930): Die

Vollstandigkeit der Axiome des logischen Funktionenkalküls,

Monatshefte für Mathematik und Physik, vol. 37, 1930, included in Gödel (1986) with English

translation by Bauer-Mengelberg. Godel,Kurt (1931)：über formal unentscheidbare Satze der Principia

Mathematica und verwandter Systeme 1 Monatshefte für

Mathematik und Physik, vol. 38,1931, included in Godel (1986) with English translation by J. van Heijenoort.

Godel, Kurt (1986):CollectedWorks,vol.1.ed. S.Feferman et al.. Oxford University Press,Oxford,1986

Heijenoort, J.van(1967):FromFrege to Godel. A Source Book in Mathematical Logic, 1879 — 1931,Harvard University Press,

Cambridge, MA, 1967, reprinted1970.

Hodges Wilfrid (1997)： A

Shorter Model Theory,Cambridge University Press, Cambridge, UK,1997.

Johansson, l (1937)： Der

Minimalkalkil, ein reduzierter intuitionistischer Formalismus, Compositio Mathematica, 4,1937.Kleene, S. C. (1952)：

Introduction to Metamathematics, North Holland Publ. Co.,

Amsterdam,1952.

Smith Peter (2007): An

Introductionto Godel's Theorems Cambridge UniversityPress,2007.Szabo, Arpad （1964）: The

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