Языки и исчисления
- 1000 экз.9785443900131/[2012-39763]/русский/Языки и исчисления / Н.К. Верещагин, А. Шень.Языки и исчисления / Н.К. Верещагин, А. Шень.Языки и исчисления. - Изд. 4-е, испр.Москва/Изд-во МЦНМО/, 2012 ( ). - Изд-во МЦНМО, 2012. - 240 с. : ил. ; 21 см. - (Лекции по математической логике и теории алгоритмов ; ч. 2). - (Современные лекционные курсы).Языки и исчисления. Изд. 4-е, испр.Москва, 2012 .
На обороте тит. л. в вып. дан. и макете загл.: Лекции по математической логике и теории алгоритмов. Ч. 2. Языки и исчисления. - На обл. авт. не указаны. - На обл. загл. 1-й сер.: Математическая логика и теория алгоритмов. - Библиогр.: с. 224-227 (34 назв.). - Указатели: предм., имен: с. 228-240. Библиогр.: с. 224-227 (34 назв.). Указатели: предм., имен: с. 228-240.Лекции по математической логике и теории алгоритмов. Ч. 2. Языки и исчисления/Исчисление высказываний -- Учебные издания/Исчисление предикатов -- Учебные издания/В123,0/В123я7-2/
На обороте тит. л. в вып. дан. и макете загл.: Лекции по математической логике и теории алгоритмов. Ч. 2. Языки и исчисления. - На обл. авт. не указаны. - На обл. загл. 1-й сер.: Математическая логика и теория алгоритмов. - Библиогр.: с. 224-227 (34 назв.). - Указатели: предм., имен: с. 228-240. Библиогр.: с. 224-227 (34 назв.). Указатели: предм., имен: с. 228-240.Лекции по математической логике и теории алгоритмов. Ч. 2. Языки и исчисления/Исчисление высказываний -- Учебные издания/Исчисление предикатов -- Учебные издания/В123,0/В123я7-2/