Title The lambda calculus : its syntax and semantics / H.P. Barendregt

Edition Revised edition Published Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984

Copies

Location	Call no.	Vol.	Availability
W'PONDS	511.3 Bar		AVAILABLE

Description xv, 621 pages : illustrations ; 23 cm Series Studies in logic and the foundations of mathematics ; v. 103 Studies in logic and the foundations of mathematics ; v. 103 Analysis Lambda calculus Notes Includes indexes Bibliography Bibliography: pages 585-598 Subject Lambda calculus. Lambda calculus. LC no. 84005966 ISBN 0444867481 0444875085 (paperback)

  Permalink