Известный приём
Чтобы представить себе, хотя бы в самых общих чертах, те направления, в которых развивается современная вычислительная наука, полезно взглянуть на названия сборников широко известной серии Lecture Notes in Computer Science...
Математическая логика в программировании (сборник статей), М.: Мир, 1991. - Предисловие редакторов перевода.
...привет Админу от издательства Springer, многие годы включающего такую ужасную математику, которая живёт в кодировании, в серию Lecture Notes in Computer Science
it.mmcs.sfedu.ru/forum, 13.11.2008.
Математическая логика в программировании (сборник статей), М.: Мир, 1991. - Предисловие редакторов перевода.
...привет Админу от издательства Springer, многие годы включающего такую ужасную математику, которая живёт в кодировании, в серию Lecture Notes in Computer Science
it.mmcs.sfedu.ru/forum, 13.11.2008.