On the Classical Decision Problem (1993)

by Yuri Gurevich
Venue:Perspectives in Mathematical Logic
Citations:37 - 0 self