This web page is designed to mimic LaTEX in the browser. The project aims to standardize the digital learning experience internationally for mathematics education. The content of this article serves as a collection of fascinating results, application and theory in the subject of logic & explores a detailed guide on a collection of resources while filling in a lot of details, exploring limitations & simplifying concepts within the discipline of discrete mathematics. A historical development of the subject of logic is outlined & a non-classical approach to logic is also discussed through the lense of modal logic as well as the (typed/untyped) lambda calculus.