3.1.1. Modern Logic and Symbolic Language Notes | Applied Logic BSC-CSIT | TU | TABFlux