Quick Notes - Discrete Structures & Theory of Logic (BCS303)