Библиотека на Университет по архитектура, строителство и геодезия

Къде желаете да търсите

Какво желаете да търсите

Търсене в

Подредба

Намерени са 1 резултата

Разширено търсене

Автор да съдържа Ч. ЧЕНЬ
Б81976
Каталог "Книги" | Книги
Математическая логика и автоматическое доказательство теорем
Моногр. (1983)
Ч. ЧЕНЬ; Под ред. С. Ю. Маслова ; Пер. с англ. Г. В. Давыдо ; Р. Ли; Ч. Мень