The core results of the so-called KreIn-Visik-Birman theory of self-adjoint extensions of semi-bounded symmetric operators are reproduced, both in their original and in a more modern formulation, within a comprehensive ...