Mathematical logic and formalized theories : a survey of basic concepts and results / Robert Rogers