<The> lambda calculus

RecordNumber :

16223

LC Class :

LC Number :

9.5

LC CutterNumber :

.B36

LC Date :

1984

Dewey Class :

511

Dewey Date :

Author :

Title :

Author Statement :

H.P. Barendregt

Edition :

Rev. ed

Publication :

North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co

Publication Year :

1984

Collation :

xv, 621 p.: ill.; 23 cm

Series :

Studies in logic and the foundations of mathematics ; v. 103

Subject :

Holding Info. :

0444867481

Original By :

76/10

DocumentNumber :

23961

SubTitle :

: its syntax and semantics

Index :

Includes indexes

Biblography :

Bibliography: p. 585-598

BL :

Link To Document :