Feys robert 1889 1961 (1 risultati)

Autore: 
Perfeziona con la Ricerca avanzata

Perfeziona la tua ricerca

  • Libri (1)

Maggiori informazioni

a

Fascia di prezzo personalizzata (EUR)

a

  • Altre immagini

    Editore: Nauwelaerts, Louvain, 1965

    • Brossura

    Da: L'angolo del vecchietto, Firenze, FI, ItaliaL'angolo del vecchietto

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Usato - Ottimo

    EUR 23,00

    EUR 33,00 spedizione 
    Spedito da Italia a U.S.A.

    Quantità: 1 disponibili

    Aggiungi al carrello

    Brossura. 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 inferenza del tipo per il lambda calcolo semplicemente tipizzato (logica combinatoria).…