Mathematical logic and formalized theories : a survey of basic concepts and results - Rogers, Robert (rz1, 1974)