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