1: Combinatory logic
Amsterdam : North Holland, 1974
Abstract:
Introduction - Formal systems - Epitheory - Lambda-Conversion - The Church-Rosser theorem - Intuitive theory of combinators - Synthetic theory of combinators - Logistic foundations - Introduction to illative combinatory logic - The basic theory of functionality - The stronger theories of functionality.
| Field | Value |
|---|---|
| Description | 1: Combinatory logic/ Haskell B. Curry, Robert Feys, William Craig. - Amsterdam : North Holland, 1974. - XVIII, 417 p. ; 23 cm. - (Studies in logic and the foundations of mathematics) |
| Series | |
| Linked titles |
|
| Authors |
|
| Keys | |
| Publishing location |
|
| Editor |
|
| Country | |
| Language | |
| ID file | 44051 |
| Library | Inv. | Ubi. | Collocation | State | Status | Reservations |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095330 | Biblioteca | LC / 974 / 4 | Available | In library | None |