U    W24     Wang, Hao     Survey of mathematical logic / Hao Wang. - Peking : Scince Press, 1964. - 651 с. - Б. ц. ГРНТИ 27.03.19 ББК В12 Рубрики: аксиоматический метод    теория чисел    множества --теория Держатели документа: ИСЭМ Имеются экземпляры в отделах: ХР Инв.9790 (свободен)