Normal view MARC view ISBD view

Combinatory logic : pure, applied and typed / Katalin Bimbo.

By: Bimbo, Katalin, 1963-.
Material type: TextTextSeries: Discrete mathematics and its applications: Publisher: Boca Raton, FL : CRC Press, c2012Description: xi, 345 p., UKP 66.99 ill. ; 25 cm.ISBN: 9781439800003 (hardcover : alk. paper); 1439800006 (hardcover : alk. paper).Subject(s): Combinatory logicDDC classification: 511.3
Item type Current location Call number Status Date due Barcode Item holds
Book Chennai Mathematical Institute
General Stacks
511.3 BIM (Browse shelf) Available 8645
Total holds: 0

Includes bibliographical references and index.