1.1. Review of Set Theory, Logic, Functions, Proofs Notes | Theory of Computation BSc. CSIT | FWU | TABFlux