We present the fundamental techniques and working equations of many-body Greens function theory for calculating ground state properties and the spectral strength. Greens function methods closely relate to other polynomial scaling approaches discussed in chapters 8 and 10. However, here we aim directly at a global view of the many-fermion structure. We derive the working equations for calculating many-body propagators, using both the Algebraic Diagrammatic Construction technique and the self-consistent formalism at finite temperature. Their implementation is discussed, as well as the inclusion of three-nucleon interactions. The self-consistency feature is essential to guarantee thermodynamic consistency. The pairing and neutron matter models introduced in previous chapters are solved and compared with the other methods in this book.