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

Ville d'édition : Amsterdam

Pays d'édition : Pays-Bas

Langue : Anglais

Collation : appendix#table#23 cm#rel. ; Bibliogr. ; Index

Collection : Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (CURR)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires