FrançaisCombinatory logic. Vol. I
Ouvrage
Curry, Haskell B. (Principal) ; Feys, Robert (Co-auteur) ; Craig , William (Co-auteur)
1985
431 p.
00004230
combinatoire # logique # logique combinatoire
Publisher City : Amsterdam
Publisher country : Pays-Bas
Language : English
Collation : 24 cm#rel. ; Bibliogr. ; Index
Series : Studies in logic and the foundations of mathematics
Location : Ouvrage RdC (CURR)
Book type : Monographie
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00004230 | [available] |
