|
|
510
F50
Fields of logic and computation [Electronic resource] : essays dedicated to yuri gurevich on the occasion of his 70th birthday / ed. A. Blass [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6300). - ISBN 978-3-642-15025-8 : Б. ц.
Кл.слова (ненормированные):
математическая логика -- вычислительная техника -- эссе
См. : Текст издания
Доп.точки доступа:
Blass, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|