2.1.1. Theory of Deduction Handwritten Notes | Applied Logic BSC-CSIT | TU | TABFlux