LOG311 H26 Research skills in Logic