Combinatory logic. Vol. 2 :
incompressible flow
Curry, Haskell B. (Principal) ; Hindley, J. Roger (Co-auteur) ; Seldin , Jonathan P. (Co-auteur)
1972
520 p.
978-0-7204-2208-5
00000179
arithmétique combinatoire # fonctionalité # généralité restreinte # généralité universelle # logique combinatoire # système illatif # théorie des types combinatoires
Ville d'édition : Amsterdam ; London
Pays d'édition : Pays-Bas
Langue : Anglais
EAN13 : 9780720422085
ISBN : 0-7204-2208-6
Collation : 23 cm#rel. ; Bibliogr. ; Index
Collection : Studies in logic and the foundations of mathematics
N° de collection : 0065
Localisation : Ouvrage RdC (CURR)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00000179 | [disponible] |