calcul des prédicats # logique du premier ordre classique # logique mathématique du premier ordre

Ville d'édition : Toronto ; Waltham

Pays d'édition : États-Unis

Langue : Anglais

Collation : Bibliogr. ; Index ; notes#24 cm#rel.

Localisation : Ouvrage RdC (MARG)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires