An edition of Classical Decision Problem (1997)
By Egon Börger,Erich Grädel,Yuri Gurevich
Publish Date
October 16, 2001
Publisher
Springer
Language
eng
Pages
492
Description:
subjects: Decidability (mathematical logic)