Mathematical methods of many-body quantum field theory. (2004)