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
Online
5
4Followers
1.3K
2
There is not enough data yet
- 1D
- 1W
- 1M
- All time
There is not enough data yet
- 1D
- 1W
- 1M
- All time
