封面图片

Combinatory reduction systems

书目详细资料
主要作者: Klop, J. W.
格式: 图书
出版: Amsterdam Mathematisch Centrum 1980.
丛编:Mathematical Centre tracts 127.
主题:
Combinatory logic.
Recursion theory.