4.2.1. Generalization and Instantiation Handwritten Notes | Applied Logic BSC-CSIT | TU | TABFlux