Combinatory logic : pure, applied and typed by Katalin Bimbo

By: Bimbo, Katalin Material type: Text

TextLanguage: English Series: Discrete mathematics and its applicationsPublication details: Boca Raton : CRC Press, 2012 Description: xi, 345pISBN: 9781439800003Subject(s): Combinatory logic | Logic, Symbolic and mathematical | Recursive functionsDDC classification: 511.3

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Central Library (Sunabeda Campus) General Section	511.3 BIM (Browse shelf(Opens below))	Available		40070