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
Publisher City : Amsterdam ; London
Publisher country : Pays-Bas
Language : English
EAN13 : 9780720422085
ISBN : 0-7204-2208-6
Collation : 23 cm#rel. ; Bibliogr. ; Index
Series : Studies in logic and the foundations of mathematics
Nb in series : 0065
Location : Ouvrage RdC (CURR)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00000179 | [available] |