m

F Nous contacter

0

Documents  Seldin , Jonathan P. | enregistrements trouvés : 2

O
     

-A +A

P Q

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

- 170 p.
ISBN 978-0-521-09697-3

London mathematical society lecture note series , 0007

Localisation : Ouvrage RdC (HIND)

conversion lambda # logique combinatoire # théorie récursive

03B40 ; 03D99 ; 03-01

... 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 [+]

Z