New Foundations

28 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 with experience working in Quine's NF in MetaMath.

Please send me an email at profbeeson at gmail.com.

Michael Beeson

Reply all

Reply to author

Forward

0 new messages