Operator methods in quantum mechanics

Minimax systems and critical point theory

Principles of functional analysis

Critical Point Theory and Its Applications

An introduction to nonlinear analysis

2004

Fredholm operators and the essential spectrum

1965

Linking methods in critical point theory

1999