Mathematical logic and formalized theories : a survey of basic concepts and results / Robert Rogers. Amsterdam : North-Holland Publ., 1974