CIRM - Videos & books Library - Combinatory logic. Vol. I

Ouvrage

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

Date de parution : 1985

Nbre/N° de page : 431 p.

Cote : 00004230

Codes MSC : 03-XX ; 05-XX

combinatoire # logique # logique combinatoire

Ville d'édition : Amsterdam

Pays d'édition : Pays-Bas

Langue : Anglais

Collation : 24 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

Nbre d'exemplaires : 1

N°	Cote	Code barre	Commentaire
1		00004230	[disponible]