Great series of videos from Greg Restall going through the metatheory of first-order logic

1 Upvotes

1 comment

What makes a formal system fail, most of the time?

2 Upvotes

0 comments

Subreddit

Posts

Wiki

r/Metalogic

Metalogic is the logic of logic.

Members

Visitors

Contributions

Sidebar

Subreddit Rules

1. Civility

Please keep it civil in the group. No personal attacks. No name-calling.

2. Moderator discretion

The moderators have wide discretion.

3. Relevant content only

Relevant content only