The calculi of lambda-conversion / by Alonzo Church.
By: Church, Alonzo.
Material type: TextPublisher: Princeton : Princeton University Press, 1941Description: ii, 77 p.ISBN: 591.Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library Science | Science Collections | 511.3 C4732 Ca (Browse shelf(Opens below)) | Available | 66015 |
Browsing Dr. B. R. Ambedkar Central Library shelves, Shelving location: Science, Collection: Science Collections Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | ||||||
511.3 B7399 Ma Mathematical logic : proceedings of the first Brazilian Conference / | 511.3 C12 Mo Models, algebras, and proofs : | 511.3 C312 Lo Logic, sets, and recursion / | 511.3 C4732 Ca The calculi of lambda-conversion / | 511.3 C6481 Ce Cellular automata / | 511.3 C7911 Sy,3 Symbolic logic / | 511.3 C8846 Wh What is mathematical logic? / |
Lithoprinted.
There are no comments on this title.