Flick Club LogoFlick Club Logo

Classical Decision Problem

Yuri Gurevich

Erich Grädel

Egon Börger

Decidability (Mathematical Logic)