Combinatory reduction systems
著者
書誌事項
Combinatory reduction systems
（Mathematical Centre tracts, 127）
Mathematisch centrum, 1980
- pbk.
大学図書館所蔵 全7件
注記
Thesis (Ph.D.)--State University of Utrecht
Bibliography: p. 298-303
Includes index
Combinatory reduction systems
（Mathematical Centre tracts, 127）
Mathematisch centrum, 1980
Thesis (Ph.D.)--State University of Utrecht
Bibliography: p. 298-303
Includes index