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

A Many-Sorted Calculus Based on Resolution and Paramodulation