Repository | Directory | Profile
Kripke's paradox and the Church–Turing thesis
2008
Mark D. Sprevak
Synthese 160/2