m
MathOuvrage

H 0 Combinators (... )-terms and proof theory

Stenlund, S.

D. Reidel publishing company

1972

184

16811


Exemplaires

Nbre d'exemplaires : 1
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

Z