1.1.1. Review of Set Theory, Logic, Functions, Proofs Notes | Theory of Computation BSC-CSIT | TU | TABFlux