En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
Sélection
Monographie

The lambda calculus : its syntax and semantics

Barendregt, Hendrik Pieter

North-Holland

1984

xv, 621 p.

0-444-87508-5

BARENDREGT l

lambda calcul

Bibliothèque de l'IECL

0

IECL

Class. Mathématique : 03-02

Pays d'édition : Pays-Bas

Ville d'édition : Amsterdam/New York/Oxford

Langue : anglais

Format : 23 cm

Illustrations : Fig.

Collection : Studies in logic and the foundations of mathematics

N° de collection : 103

Bibliographie : Bibliogr. p. 585-598/index


Emprunt/Réservation

Y Réserver

Exemplaires

Nbre d'exemplaires : 1
Cote / Code barre Localisation Commentaire
1 BARENDREGT l
MAT000791
F 431.25 - OFFILIB
[disponible]
YRéserver