Börger, Egon

Classical decision problem - Berlin : Springer-Verlag, ©1997. - x, 482 p. : ill. ; 23.5 cm (Paperback)

Includes bibliographical references and index.

9783540423249

Decidability (Mathematical logic)

511.3 / BRO / B