The lambda calculus : its syntax and semantics / H.P. Barendregt. (Studies in logic and the foundations of mathematics ; v. 103)

The lambda calculus : its syntax and semantics / H.P. Barendregt.

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

Notes on use

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 0444854908
Title: The lambda calculus : its syntax and semantics / H.P. Barendregt.
Series Title: Studies in logic and the foundations of mathematics ; v. 103
Author Heading: Barendregt, H. P. (Hendrik Pieter)
Publication, Distribution, etc.: Amsterdam : North-Holland Pub. Co.
New York : North-Holland Pub. Co.
Amsterdam : sole distributors for the U.S.A. and Canada Elsevier North-Holland
New York : sole distributors for the U.S.A. and Canada Elsevier North-Holland
Publication Date: 1981.
Publication Date (W3CDTF): 1981
Extent: xiv, 615 p. : ill. ; 23 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Lambda calculus.
Logica Matematica.
LCC: QA9.5
DDC: 511.3
NDLC: MA41
Note (General): Includes indexes.
Note (Bibliography): Bibliography: p. 580-591.
Holding library: 国立国会図書館
Call No.: MA41-180
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006126165
http://id.ndl.go.jp/bib/000006126165
LC Control Number: 80018587 //r83
https://lccn.loc.gov/80018587
Bibliographic Record Category (NDL): 211