Deriving logic operators from peano's axiomsmath.stackexchange.com3 points·gizi··0 commentsOpen articleSaveView on HN