Knowledge, proof and the Knower.

Walter Dean, Hidenori Kurokawa

Browse the full TARK paper archive.