An Alternative Setting for Resource-Bounded Lob’s Theorem

Link post

No comments.