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