Loading…

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!
Description
Physical Description:xv, 621 p. : ill.
ISBN:0444867481