[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