MathLogic

This channel is to promote mathematics and other subjects with logic.