Аннотация:
Табличный метод — один из наиболее простых и эффективных процедур поиска доказательства, широко применяется в различных областях математической логики, теории аргументации и искусственного интеллекта. В монографии воссоздана история развития табличного метода. Рассмотрены предпосылки его возникновения
