[FOM] Computability theory axiomatically

George Cherevichenko george.cherevichenko at gmail.com
Sat Aug 27 16:55:12 EDT 2016


Several simple results (3 pages)

http://www.mediafire.com/download/2u66ou5kg65rlp3/intuitionism.pdf

Does anybody have more results of this sort?

George
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160827/784ffe4e/attachment.html>


More information about the FOM mailing list