Цахим шуудангийн бүртгэл: Символическая логика и разумные машины