Recursive program schemes :
semantics and proof theory
fondements de la logique # informatique # logique algébrique # système informatique
Ville d'édition : Amsterdam
Pays d'édition : Pays-Bas
Langue : Anglais
EAN13 : 9789061961277
ISBN : 90-6196-127-0
Collation : 24 cm#broch. ; Bibliogr.
Collection : Mathematical centre tracts
N° de collection : 0070
Localisation : Collection 1er étage
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00010428 | [disponible] |