Zaslat SMS: Справочная книга по математической логике: в 4-х частях; пер. с англ.