On the Classical Decision Problem (1993)

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