Feys robert 1889 1961 (1 risultati)
Altre immaginiEditore: Nauwelaerts, Louvain, 1965
- Brossura
Da: L'angolo del vecchietto, Firenze, FI, ItaliaL'angolo del vecchietto
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Ottimo
EUR 23,00
EUR 33,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBrossura. Condizione: ottimo. Brossura (cm 16,5 x 25,0) pagg XIV + 220. Ottimo stato con sopra copertina originale. Qualche segno a lapis nelle prime pagine. Feys è stato un logico e filosofo belga, che ha lavorato presso l'Università di Leuven (Lovanio, Belgio). Nel 1958 Feys e Haskell B. Curry hanno ideato l'algoritmo di infer…enza del tipo per il lambda calcolo semplicemente tipizzato (logica combinatoria).