Математическая логика и автоматическое доказательство теорем

Ч. Чень, Р. Ли

В наличии в 4 книжных с доставкой по 41 стране Европы, стоимость книги от 10,00 €.