The lambda calculus : its syntax and semantics / H.P. Barendregt
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Studies in logic and the foundations of mathematics ; v. 103Publisher: Amsterdam ; New York ; New York, N.Y : North-Holland, 2011Edition: Rev. edDescription: Online Ressource (xv, 621 pages) : illustrationsISBN:- 9780444875082
- 9780080933757
- 0080933750
- 0444875085
- 0444867481
- 0444875085
- 9780444867483
- 9780444875082
- 511.3
- QA9.5
Restrictions unspecified star
Online-Ausg. [S.l.] : HathiTrust Digital Library
Online-Ausg. [S.l.] : HathiTrust Digital Library. Online-Ausg. [S.l.] : HathiTrust Digital Library
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
English