A more mathematically rigorous development of second quantization and Fock space. Negele and Orland cover coherent states for both bosons and fermions, which are essential for path integral formulations of many-body theory.