Refine your search

  • Books (1)

Learn more

to

Custom price range (£)

to

Feys Robert 1889 1961 (1 results)

Author: 
Refine with Advanced Search
  • More images

    Published by Nauwelaerts, Louvain, 1965

    • Softcover

    Seller: L'angolo del vecchietto, Firenze, FI, ItalyL'angolo del vecchietto

    4-star seller
    Contact seller

    Condition: Used - Fine

    £ 19.77

    £ 27.53 shipping 
    Ships from Italy to U.S.A.

    Quantity: 1 available

    Add to basket

    Brossura. Condition: 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).…