Proof-theoretic discussion group, mainly focused on the calculus of structures
Logic in general, proof theory, philosophy.
Logic. Philosophy. Other Fun Stuff.
Showing 20–3 of 3 results