Discrete Structures & Theory of Logic