Mathematical logic and formalized theories - Rogers, Robert (North-Holland publishing, 1971)