axiomatique # calcul lambda # fondements de la logique classique # informatique # langage formel # langage naturel # logique mathématiques # traitement

Ville d'édition : Amsterdam

Pays d'édition : Pays-Bas

Langue : Anglais

EAN13 : 9789061961475

ISBN : 90-6196-147-5

Collation : 24 cm#broch. ; Bibliogr.

Collection : Mathematical centre tracts

N° de collection : 0083

Localisation : Collection 1er étage

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires