Mathematical logic and formalized theories - Rogers Robert (1971)
Keywords: Logic