Jem
721
reputation
5
8
Interested in nonclassical logics which can be applied to classical mathematics, particularly synthetic mathematics.