Электронная книга

Generic Inference: A Unifying Theory for Automated Reasoning