Электронный каталог

Книга
УДК 51 С 50

Смаллиан, Р. М.
Теория формальных систем : пер. с англ. / Р. М Смаллиан ; ред. Н. А Шанин . – М. : Наука, 1981 . – 207 с.

51 С50

Тезаурус = ГАСНТИ 27.03.19
Тезаурус = Математика : основания математики и математическая логика : математическая логика

800229 Кх