En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Combinatory logic. Vol. 1 :
incompressible flow

Bookmarks Report an error
Ouvrage

Curry, Haskell B. (Principal) ; Feys, Robert (Co-auteur) ; Craig , William (Co-auteur)

North-Holland Publishing Co.

1974

417 p.

00000178

03B40 ; 03F10

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

Publisher City : Amsterdam

Publisher country : Pays-Bas

Language : English

Collation : appendix#table#23 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 00000178 [available]
Bookmarks Report an error