The calculi of lambda-conversion / by Alonzo Church. (Annals of mathematics studies ; no. 6)

The calculi of lambda-conversion / by Alonzo Church.

(Annals of mathematics studies ; no. 6)

Notes on use

Note (General)：: Reprint of the 1941 ed. published by Princeton University Press.Includes index.

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: 図書
Title: The calculi of lambda-conversion / by Alonzo Church.
Series Title: Annals of mathematics studies ; no. 6
Author Heading: Church, Alonzo, 1903-
Publication, Distribution, etc.: New York : Kraus Reprint
Publication Date: 1965.
Publication Date (W3CDTF): 1965
Extent: ii, 82 p. ; 23 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Logic, Symbolic and mathematical.
Functions.
DDC: 517.5
Note (General): Reprint of the 1941 ed. published by Princeton University Press.
Includes index.
Note (Bibliography): Bibliography: p. 73-82.
Holding library: 国立国会図書館
Call No.: 517.5-C561c
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006155581
http://id.ndl.go.jp/bib/000006155581
Bibliographic Record Category (NDL): 211