Comment Comment by yep31 >some introductory logic classlike forall x from openlogicproject? parent yep31 3 years ago
like forall x from openlogicproject?