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

Книга
510.6 С50

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

510.6

Общий = Математическая логика
Коллекции = Математическая библиотека