The lambda calculus: its syntax and semantics /

Saved in:
Bibliographic Details
Main Author: Barendregt, H. P. (Hendrik Pieter)
Format: Book
Language:English
Published: Amsterdam : North-Holland Pub. Co., 1984.
Edition:Revised edition
Series:Studies in logic and the foundations of mathematics ; v.103
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

Matheson Library

Holdings details from Matheson Library
Call Number: 511.3 B248L 1984
Copy 068858 On Shelf