NF in Metamath

33 views

Skip to first unread message

unread,

Jun 28, 2019, 2:37:01 AM6/28/19

to Metamath

I would like to communicate by email with Scott Fenton or anyone else who has experience working in MetaMath with Quine's New Foundations.

Please email me at profbeeson at gmail.com.

(This is my second attempt to post this message, if it's a duplicate sorry, but I couldn't see that the first attempt resulted in a posting.)