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