Mathematical logic and formalized theories a survey of basic concepts and results
Rogers, Robert.
Amsterdam London North-Holland Publishing
1971
bibl p227-229
Logic, Symbolic and mathematical.