From the knowability paradox to the existence of proofs
Vol. 176/2
W. Dean, H. Kurokawa
Volume
Title
Author