1: Combinatory logic
Amsterdam : North Holland, 1974
Abstract/Sommario:
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.
| Campo | Valore |
|---|---|
| Descrizione | 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) |
| Collezione | |
| Altri legami |
|
| Autori |
|
| Chiavi | |
| Luogo di pubblicazione |
|
| Editore |
|
| Categorie | |
| Paese | |
| Lingua | |
| ID scheda | 44051 |
| Biblioteca | Inv. | Ubi. | Collocazione | Prestabilità | Stato | Prenotazioni |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095330 | Biblioteca | LC / 974 / 4 | Ammesso al prestito | A scaffale | Nessuna |