论文信息 - On languages which are based on non-standard arithmetic - 字舞流文

On languages which are based on non-standard arithmetic

Abraham Robinson

[1] Leon Henkin,et al. Completeness in the theory of types , 1950, Journal of Symbolic Logic.

[2] Alfred Tarski. Remarks on predicate logic with infinitely long expressions , 1958 .

[3] Alfred Tarski,et al. The Sentential Calculus with Infinitely Long Expressions , 1958 .

[4] William Craig,et al. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory , 1957, Journal of Symbolic Logic.