Справочная книга по математической логике: в 4-х ч. : пер. с англ./ Ч. 1, Теория моделей
С 741 | |
Справочная книга по математической логике: в 4-х ч. : пер. с англ./ Ч. 1, Теория моделей
ред. Дж. Барвайс. — М.: Наука 1982 — 392 с. |