The core results of the so-called Krein-Vishik-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 ...