Тексты относящиеся к математическим формам записи и обработки знаний в том числе в рамках направления Semantic Web.
Кроме того в посте http://ashkotin.blogspot.com/2006/02/dl-and-fopc-formulas-comparison.html
описана интересная задачка, которая до сих пор не утратила актуальности.