The Classical Decision Problem (1997)

by Gurevich
Venue:Perspectives in Mathematical Logic