Теория формальных систем / Р. Смальян ; Пер. с англ. Н. К. Косовского ; Под ред. Н. А. Шанина

Другие авторы:

Язык: Русский Исходный язык: Английский Выходные данные: Москва: Наука, 1981Физическая характеристика: 207 с. илСерия: Математическая логика и основания математикиУДК:510.64

Тип экземпляра: Книга Папки, в которых отображается этот экземпляр: 2026.05.13

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Статус	Срок возврата	Штрих-код
Книга	Институт прикладной математики им. М.В. Келдыша Миусская	51:164 / С 50	Доступно

Пер. изд.: Theory of formal systems / Raymond M. Smullyan (Princeton, N.J., 1962)

Библиогр.: с. 202-204

Указ. определений, обозначений: с. 205-207