"Символическая логика и разумные машины" - читать интересную книгу автора (Беркли Э. (Berkeley))