论文信息 - A Consistent Combinatory Logic with an Inverse to Equality - 字舞流文

A Consistent Combinatory Logic with an Inverse to Equality

Frederic Brenton Fitch

[1] Frederic B. Fitch. Universal Metalanguages For Philosophy , 1964 .

[2] Frederic B. Fitch. Elements of combinatory logic , 1974 .

[3] Frederic Brenton Fitch. The Consistency of System Q , 1981, J. Symb. Log..

[4] Alfred Tarski,et al. Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

[5] Frederic B. Fitch. IV.—SELF-REFERENCE IN PHILOSOPHY , 1946 .