Справочная книга по математической логике 1. Spravochnaya kniga po matematicheskoy logike 1