a theorem prover for intuitionistic propositional logic in Idris, with m...
Keith Devlin's Introduction to Mathematical Thinking course on Coursera ...
数理逻辑