Envoyer par SMS: Elementy matematičeskoj logiki i teorija množestv.