Normal view MARC view ISBD view

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

By: Bimbo, Katalin, 1963-.

Material type: Text

TextSeries: 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

Holdings ( 1 )
Title notes

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

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser

Previous								Next
Previous	511.1 MAT Invitation to discrete mathematics /	511.1 MAT Invitation to discrete mathematics /	511.1 WAL A beginner's guide to discrete mathematics /	511.3 BIM Combinatory logic : pure, applied and typed /	511.3 BRA The mathematics of preference, choice, and order : essays in honor of Peter C. Fishburn /	511.3 BRA Calculus of computation : decision procedures with applications to verification /	511.3 BRU Models of computation.	Next

Includes bibliographical references and index.

CMI Library

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

By: Bimbo, Katalin, 1963-.

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser