Describir: Spravočnaja kniga po matematičeskoj logike :