1. Introduction to Formal Language, Logic and Proof Notes | Theory of Computation BCT-NEW | TU | TABFlux