m
     
MathOuvrage

H 0 The Lambda calculus. Its syntax and semantics

Barendregt, Hendrik P.

North-Holland

1984

xvi, 621

19439-26348

calcul lambda


Exemplaires

Nbre d'exemplaires : 2
Inventaire Code barre Localisation
1 19439 1005047 GALERIE
2 26348 1005046 GALERIE

ISBN10 : 0-444-87508-5

Type de doc : M

N° édition : Revised edition

Ville d'édition : Amsterdam

Langue ouvrage : eng

Collection : Studies in logic and the foundations of mathematics

N° dans la collection : 103

ISSN Collection : 0049-237X

Class. Math. 1991 : 03Bxx

Lien SUDOC : https://www.sudoc.fr/004865693

Z