Поиск книг, содержащих Program specification :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Program specification

Книга	Страницы для поиска
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь	165, 326
Kowalski R. — Logic for problem solving	124, 144, 200
Gries D. — A Logical Approach to Discrete Math	179
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах	163, 304
Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Survey	4
Ben-Ari M — Mathematical Logic for Computer Science	4

О проекте