Français
Recursive program schemes :
semantics and proof theory
Ouvrage
fondements de la logique # informatique # logique algébrique # système informatique
Publisher City : Amsterdam
Publisher country : Pays-Bas
Language : English
EAN13 : 9789061961277
ISBN : 90-6196-127-0
Collation : 24 cm#broch. ; Bibliogr.
Series : Mathematical centre tracts
Nb in series : 0070
Location : Collection 1er étage
Book type : Monographie
Availability : empruntable
Level of authorization : Public
Copies
Number of copies : 1| No. | Call n° | Bar code | Commentary | |
|---|---|---|---|---|
| 1 | 00010428 | [available] |
