Spravočnaja kniga po matematičeskoj logike. Časť 1. Teorija model. - BARWISE, J. (1982)
Záznam neprešiel kontrolou