Vista normal Vista MARC Vista ISBD

Barendregt, H. P.

A lambda calculus satellite / Henk Barendregt, Giulio Manzonetto - xvi, 582 páginas : ilustraciones - Studies in logic ; mathematical logic and foundations volume 94 .

ISBN: 9781848904156 1848904150

Subjects--Topical Terms:
Cálculo lambda

LC Class. No.: QA9.5 / B363