Поиск :
Личный кабинет :
Электронный каталог: Krantz, S. G. - Handbook of Logic and Proof Techniques for Computer Science
Krantz, S. G. - Handbook of Logic and Proof Techniques for Computer Science
Доступно
1 из 1
1 из 1
Книга
Автор: Krantz, S. G.
Handbook of Logic and Proof Techniques for Computer Science
Издательство: Birkhauser, Springer, 2002 г.
ISBN 0-8176-4220-X
Автор: Krantz, S. G.
Handbook of Logic and Proof Techniques for Computer Science
Издательство: Birkhauser, Springer, 2002 г.
ISBN 0-8176-4220-X
Заказать 
На полку
Книга
Ц84 K-81
Krantz, S.G.
Handbook of Logic and Proof Techniques for Computer Science / S.G.Krantz. – Boston [etc.] : Birkhauser ; New York : Springer, 2002. – XIX, 245 p. : il. – Bibliogr.: p.231-236. – ISBN 0-8176-4220-X.
Ц84
Индексный (книги) = Ц 84 - Вычислительная техника
Ц84 K-81
Krantz, S.G.
Handbook of Logic and Proof Techniques for Computer Science / S.G.Krantz. – Boston [etc.] : Birkhauser ; New York : Springer, 2002. – XIX, 245 p. : il. – Bibliogr.: p.231-236. – ISBN 0-8176-4220-X.
Ц84
Индексный (книги) = Ц 84 - Вычислительная техника
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЗИЛ | 1 | 1 | 1 | Заказать |