formule bien formée # formule d'égalité # problème de décision # préfixe # validité de formule du calcul des prédicats du premier ordre # validité et satisfiabilité en domaine fini # variable de prédicats monadique

Ville d'édition : Amsterdam

Pays d'édition : Pays-Bas

Langue : Anglais

Collation : 23 cm ; Bibliogr. ; Index ; rel. ; viii

Collection : Studies in logic and the foundations of mathematics

Localisation : Monographie RdC (ACKE)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires