安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Combinatory logic ; V1 / Haskell B. Curry . . . [et a.

出版发行项:

Amsterdam : North Holland, 1958.

载体形态项:

417 p. ; 22 cm.

丛编说明:

Studies in logiand the foundations of mathematics

丛编统一题名:

Studies in logiand the foundations of mathematics.

个人责任者:

Curry,Haskell B.

中图法分类号:

O141

书目附注:

Includes bibliography and index.

豆瓣简介：