Title: The classical decision problem
First published: 1997
Description: xii, 492 p. ; 24 cm
Subjects: Decidability (Mathematical logic)
LC classification: QA9.65 .B64 1997