Combinatory logic : pure, applied and typed

Author：Katalin Bimbo?.
Publisher：CRC Press
ISBN：9781439800010 (electronic bk.) ; 1439800014 (electronic bk.)
Publication Date：c2011.
其他作者：Bimbo?, Katalin,
語言：zh
出版地：Boca Raton, FL :
Description

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

Search Same Author