Combinatory logic : pure, applied and typed

作者：Katalin Bimbo?.
出版社：CRC Press
ISBN：9781439800010 (electronic bk.) ; 1439800014 (electronic bk.)
出版日期：c2011.
其他作者：Bimbo?, Katalin,
語言：zh
出版地：Boca Raton, FL :
內容簡介

1 online resource (xi, 345 p.) ::ill.

搜尋同作者