Library of American University of Madaba

Normal View MARC View ISBD View

Bimbo, Katalin, 1963-

Combinatory logic : pure, applied, and typed / Katalin Bimbo. - Boca Raton, MA: Taylor & Francis, 2012. - 345 p. - Discrete mathematics and its applications .

Includes bibliographical references and index.

ISBN: 9781439800003 (hardcover : alk. paper)

Subjects--Topical Terms:
Combinatory logic.

LC Class. No.: QA9.5 / B56

Dewey Class. No.: 511.3 / B611