Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 120 p.
ISBN 978-90-6196-147-5
Mathematical centre tracts , 0083
Localisation : Collection 1er étage
axiomatique # calcul lambda # fondements de la logique classique # informatique # langage formel # langage naturel # logique mathématiques # traitement
03-04 ; 03B30 ; 03B40 ; 68-04 ; 69F05
... Lire [+]
