Solvable cases of the decision problem
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
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00004213 | [available] |