Logic for computer science /

Библиографические подробности
Главный автор: Reeves, Steven
Другие авторы: Clarke, Michael
Формат:
Язык:English
Опубликовано: Workingham : Addison-Wesley, 1990.
Предметы:

Menteşe Kütüphanesi

Подробно о фондах из Menteşe Kütüphanesi
Шифр: QA9 .R448 1990
Копировать k.1 Доступно