Français
The lambda calculus
its syntax and semantics
Ouvrage
calcul lambda
Publisher City : Amsterdam ; N.Y. ; Oxford
Language : English
Edition nb : 1st edit.
EAN13 : 9780444854902
ISBN : 0-444-85490-8
Collation : 23 cm ; 615 p. ; Bibliogr. ; Index ; portr. ; rel. ; xiv
Series : Studies in logic and the foundations of mathematics
Nb in series : 0103
Location : Disparu
Book type : Monographie
Availability : Disparu
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00000112 | Ouvrage disparu depuis 2004, puis rapporté à la bibliothèque en 2021 [on loan until 16/02/2023] |
