Variational Methods For Strongly Indefinite Problems by Yanheng Ding