[FOM] Forward: Provability of Consistency
Martin Davis
martin at eipye.com
Fri Mar 22 00:19:10 EDT 2019
*From: *Sergei Artemov <sartemov at gmail.com>
*Subject: **The Provability of Consistency, FYI*
*Date: *March 19, 2019 at 8:26:11 PM PDT
*To: *Sergei Artemov <sartemov at gmail.com>
https://arxiv.org/abs/1902.07404
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20190321/068a2df1/attachment.html>
More information about the FOM
mailing list