Barendregt, Hendrik Pieter

Title

The lambda calculus; its syntax and semantics

Name: The lambda calculus; its syntax and semantics
Author: Barendregt, Hendrik Pieter

Author Statement

H. P. Barendregt

Edition

rev. ed

Publication

Aumsterdam North Holland [c 1984]

Publication Year

xv, 621 p

Collation

Studies in logic and the foundations of mathematics; 103

Bibliography

Bibliography: p. 385- 598

Subject

ADDED ENTRIES

TI , AU ^dSeries: Studies in logic and the foundations of mathematics; 103

Main Class

511

Sub Class

Cutter no

B248l

Date

1984

وارد كنندة اطلاعات

soltani^d// , khodaei^d2003/07/23 12:00:29

Link To Document