r/MathematicalLogic
This subreddit is for discussion of mathematical logic (e.g model theory, set theory, computability theory, proof theory, type theory…
Channel
- Sports
USA
Followers
1.3K
11
Online
2
-2
Followers
There is not enough data yet
- 1D
- 1W
- 1M
- All time
Online
There is not enough data yet
- 1D
- 1W
- 1M
- All time