论文信息 - A non-standard truth definition - 字舞流文

A non-standard truth definition

Robert McNaughton | R. McNaughton

[1] A. Mostowski,et al. Models of axiomatic systems , 1952 .

[2] Hao Wang,et al. Non-Standard Models for Formal Logics , 1950, J. Symb. Log..

[3] Hao Wang,et al. The irreducibility of impredicative principles , 1952 .

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

[5] Robert McNaughton. Some Formal Relative Consistency Proofs , 1953, J. Symb. Log..

[6] Hao Wang. Truth definitions and consistency proofs , 1952 .