jump to search box

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

Availability

At the Library

Other libraries

Author/Creator:
Barendregt, H. P. (Hendrik Pieter)
Language:
English.
Publication date:
2012
Imprint:
Rev. ed., 6th printing - London : College Publications, c2012.
Format:
  • Book
  • xv, 621, [16] p. : ill. ; 24 cm.
Bibliography:
Includes bibliographical references (p. 585-598) and indexes.
Series:
Studies in logic v. 40.
Subjects:
ISBN:
9781848900660
184890066X

powered by Blacklight
© Stanford University. Stanford, California 94305. (650) 725-1064. Terms of Use | Copyright Complaints | Opt Out of Analytics
jump to top