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

Publisher City : Amsterdam

Publisher country : Pays-Bas

Language : English

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

Series : Studies in logic and the foundations of mathematics

Location : Monographie RdC (ACKE)

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies