Reading list: Logics