Vvedenie v teoriju modelej i metamatematiku algebry - Robinson, Abraham (Matematičeskaja logika i osnovanija matematiki / Nauka - Moskva., 1967)