A Mathematical Introduction to Logic door