Introduzione alla logica combinatoria
Torino : Boringhieri, 1975
Abstract/Sommario:
Lambda-conversione - Combinatori - Rappresentazione delle funzioni ricorsive - Il teorema di indecidibilità - Uguaglianza estensionale - L'equivalenza tra la λ-conversione e la teoria dei combinatori - Riduzione forte - Combinatori con tipi: prima e seconda definizione - Logica basata sui combinatori - Funzioni di Godel di tipo finito - Dimostrazione del teorema di Church e Rosser - Dimostrazione del teorema 11.17.
| Campo | Valore |
|---|---|
| Descrizione | Introduzione alla logica combinatoria / J. R. Hindley, Bruce Lercher, J. P. Seldin. - Torino : Boringhieri, 1975. - 153 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica) |
| Note |
Traduzione di Ferdinando Azzarello.
|
| Titolo uniforme | |
| Collezione | |
| Numeri |
|
| Autori |
|
| Chiavi | |
| Luogo di pubblicazione |
|
| Editore |
|
| Categorie | |
| Paese | |
| Lingua | |
| ID scheda | 44525 |
| Biblioteca | Inv. | Ubi. | Collocazione | Prestabilità | Stato | Prenotazioni |
|---|---|---|---|---|---|---|
| Biblio Conf | 0095605 | Biblioteca | LC / 975 / 40 | Ammesso al prestito | A scaffale | Nessuna |