decision . problem . solvable . classes . quantificational . formulas . dreben . burton . goldfarb . warren .
Format
Author
Status
List Price