H Combinators (... )-terms and proof theory
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 16811 | 1021375 | GALERIE |
ISBN10 : 90-277-0305-1
Type de doc : M
Ville d'édition : Dordrecht
Langue ouvrage : eng
Collection : Synthese library
ISSN Collection : 0166-6991
Class. Math. 1991 : 03B40 ; 03F10
Année de soutenance : 0
Lien SUDOC : https://www.sudoc.fr/009880879