Classical Decision Problem
Classical Decision Problem
Egon Börger
,
Yuri Gurevich
,
Erich Grädel
Details
OL Work ID
OL27318162W
Subjects
Decidability (mathematical logic)
Find this book
Open Library