Describir: Elementy matematičeskoj logiki i teorija množestv.