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

Табличные методы в логике / Ред. Глушнкова Т.В.