Символическая логика и разумные машины

Символическая логика и разумные машины