Besonderhede van voorbeeld: -193279754953664946

English

His major texts include Combinatory Logic (1958) (with Robert Feys), and Foundations of Mathematical Logic (1963).

Korean

그의 주요 텍스트 로버트 Feys ()와 Combinatory 논리 (1958)를 포함하고 수학적 논리 (1963)의 기초.