Börger, Egon Classical decision problem - Berlin : Springer-Verlag, ©1997. - x, 482 p. : ill. ; 23.5 cm (Paperback) Includes bibliographical references and index. ISBN: 9783540423249 Subjects--Index Terms: Decidability (Mathematical logic) Dewey Class. No.: 511.3 / BRO / B