Your search returned 7 results.

Results
	1.		The Lambda calculus / H. P. Barendregt by Barendregt, Hendrick Pieter Series: Studies in logic and the foundations of mathematics ; v.103 Edition: 2nd. ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : North-Holland, 1984 Availability: Items available for loan: Main Library - IDA (1)Call number: 511.3 BAR. Place hold Save to lists Add to cart (remove)
	2.		Language in action : categories, lambdas and dynamic logic / J ohan Van Benthem. by Benthem, J. F. A. K. Van, (Johan van), 1949 - Material type: Text; Format: print ; Nature of contents: ; Literary form: Not fiction Publication details: Cambridge, Mass. : The MIT Press, 1995 Availability: Items available for loan: CHUSS - Mass Communication Book Bank (4). Main Library - IDA (3). Place hold Save to lists Add to cart (remove)
	3.	Image from Amazon.com	The lambda calculus : its syntax and semantics / H.P. Barendre gt. by Barendregt, H. P. (Hendrik Pieter) Series: Studies in logic and the foundations of mathematics ; v. 103 Edition: Rev. ed. Material type: Text Publication details: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984 Availability: Items available for loan: College of Computing and Information Science - COCIS (1)Call number: 511.3 BAR. Place hold Save to lists Add to cart (remove)
	4.	Image from Amazon.com	The lambda calculus : its syntax and semantics / H.P. Barendre gt. by Barendregt, H. P. (Hendrik Pieter) Series: Studies in logic and the foundations of mathematics ; v. 103 Edition: Rev. ed. Material type: Text Publication details: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984 Availability: No items available. Save to lists Add to cart (remove)
	5.	Image from Amazon.com	The lambda calculus : its syntax and semantics / H.P. Barendre gt. by Barendregt, H. P. (Hendrik Pieter) Series: Studies in logic and the foundations of mathematics ; v. 103 Edition: Rev. ed. Material type: Text Publication details: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984 Availability: No items available. Save to lists Add to cart (remove)
	6.	Image from Amazon.com	The lambda calculus : its syntax and semantics / H.P. Barendre gt. by Barendregt, H. P. (Hendrik Pieter) Series: Studies in logic and the foundations of mathematics ; v. 103 Edition: Rev. ed. Material type: Text Publication details: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984 Availability: No items available. Save to lists Add to cart (remove)
	7.	Image from Amazon.com	The lambda calculus : its syntax and semantics / H.P. Barendre gt. by Barendregt, H. P. (Hendrik Pieter) Series: Studies in logic and the foundations of mathematics ; v. 103 Edition: Rev. ed. Material type: Text Publication details: Amsterdam ; New York : New York, N.Y. : North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984 Availability: No items available. Save to lists Add to cart (remove)