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

• Material Type: 図書
• ISBN: 0444867481
• Title: The lambda calculus : its syntax and semantics / H.P. Barendregt.
• Edition: Rev. ed.
• 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 Science Pub. Co.; New York : sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
• Publication Date: 1984.
• Publication Date (W3CDTF): 1984
• Extent: xv, 621 p. : ill. ; 23 cm.
• Place of Publication (Country Code): NL
• Text Language Code: eng
• Subject Heading: 記号論理学. Kigoronrigaku.; 組合せ論. Kumiawaseron.; Lambda calculus.
• LCC: QA9.5
• DDC: 511.3
• NDLC: MA41
• Note (General): Includes indexes.
• Note (Bibliography): Bibliography: p. 585-598.
• Holding library: 国立国会図書館
• Call No.: MA41-A42
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003119143; http://id.ndl.go.jp/bib/000003119143
• LC Control Number: 80018587 //r83; https://lccn.loc.gov/80018587
• Bibliographic Record Category (NDL): 211

Table of Contents

CONTENTS

PREFACE/ vii

HINTS FOR THE READER/ xiii

PART I．　TOWARDS THE THEORY/ 1

1．　Introduction/ 3