I acknowledge that much of the information discussed in this project is not my own original work and comprises standard mathematical results. Resources from which these notes are compiled, is not my own and should not be shared with intent of claiming authorship or rights to any of the philosophies, theories or ideas discussed therein. This project is intended to be a mathematical guide to logic with focus on the application of the ideas. I acknowledge that I rely heavily on wikipedia, youtube, the stack exchange forum and other internet resources to obtain relevant insights. I acknowledge every bit of help I could get to construct this project.