Logic Across the University Foundations and Applications