Языки и исчисления
2001-3/2263 2001-3/2263 - 1000 экз.5-900916-66-9/[2000-51523]/русский/Языки и исчисления / Н.К. Верещагин, А. Шень.Языки и исчисления / Н.К. Верещагин, А. Шень.Языки и исчисления.М./МЦНМО/, 2000 ( ). - МЦНМО, 2000. - 286 с. ; 20 см. - (Лекции по математической логике ; [Ч. 2]). - (Современные лекционные курсы).Языки и исчисления. М., 2000 .
На обл. загл. сер.: Математическая логика и теория алгоритмов. - Библиогр.: с. 269-272 (34 назв.). - Предм. указ.: 273-282. - Указ. имен: с. 283-284. Библиогр.: с. 269-272 (34 назв.). Предм. указ.: 273-282. Указ. имен: с. 283-284.Математическая логика -- Исчисление высказываний -- Руководства, пособия и т.п./Исчисление высказываний -- Учебные издания/Математическая логика -- Исчисление предикатов -- Руководства, пособия и т.п./Исчисление предикатов -- Учебные издания/В123я7-2/
На обл. загл. сер.: Математическая логика и теория алгоритмов. - Библиогр.: с. 269-272 (34 назв.). - Предм. указ.: 273-282. - Указ. имен: с. 283-284. Библиогр.: с. 269-272 (34 назв.). Предм. указ.: 273-282. Указ. имен: с. 283-284.Математическая логика -- Исчисление высказываний -- Руководства, пособия и т.п./Исчисление высказываний -- Учебные издания/Математическая логика -- Исчисление предикатов -- Руководства, пособия и т.п./Исчисление предикатов -- Учебные издания/В123я7-2/