Mathematical logic and formalized theories : a survey of basic concepts and results - Rogers Robert (London North-Holland, 1971)
Keywords: Mathematical logic