Combinatory logic

书目详细资料
主要作者:	Curry, Haskell Brooks 1900-
其他作者:	Feys, Robert 1889-
格式:	图书
语言:	English
出版:	Amsterdam North-Holland 1958-72.
丛编:	Studies in logic and the foundations of mathematics
主题:	Logic, Symbolic and mathematical. Combinatory logic.