m

F Nous contacter

0

Documents  Curry, Haskell B. | enregistrements trouvés : 4

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 417 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (CURR)

fonctionnalité # lambda conversion # logique combinatoire # logique combinatoire illative # système formel # théorie intuitive des combinateurs # théorie synthétique des combinateurs # théorème de Church- Rosser # épithéorie

03B40 ; 03F10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 520 p.
ISBN 978-0-7204-2208-5

Studies in logic and the foundations of mathematics , 0065

Localisation : Ouvrage RdC (CURR)

arithmétique combinatoire # fonctionalité # généralité restreinte # généralité universelle # logique combinatoire # système illatif # théorie des types combinatoires

03B15 ; 03B40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 431 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (CURR)

combinatoire # logique # logique combinatoire

03-XX ; 05-XX

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 431 p.
ISBN 978-0-7204-2206-1

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (CURR)

épistémologie # formalisme # philosophie des mathématiques

00A30 ; 03A05 ; 03A05

... Lire [+]

Z