modal logic, proof theory, predicate logic, inference
No more posts from buckman's subscribed feeds.
Press ? anytime to show this help