IAFF-User-169

Karma: 11

An Alternative Setting for Resource-Bounded Lob’s Theorem

IAFF-User-1696 Jul 2016 20:40 UTC

3 points

0 comments1 min readLW link

(pages.iu.edu)

Relating Modal Polymorphism to PA with soundness

IAFF-User-1691 Aug 2015 14:57 UTC

6 points

2 comments1 min readLW link

(www.overleaf.com)