Introduction to Logics