атнематIсаL FоUNDатIоNS оF рRоGRаммING SемаNтIсS [Text] : 5 тн INтеRN. соNF... / Gvos C.; Hartmanis J. - Berlin : Springer-Verl. ; Heidelberg ; New York, 1990. - Б. ц. ГРНТИ ^a50.05.03 ^a50.01.13 Доп.точки доступа: Gvos, G. \.\ Свободных экз. нет