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.