艾伦娜·阿塔纳索娃 自动谓词逻辑有效性证明的演绎过程。 (英语) Zbl 1114.68531号 Pipervski,Boro(编辑)等人,马其顿第二届数学家和计算机科学家大会。2000年9月28日至10月1日,马其顿奥赫里德,国会议事录。斯科普里:Sojuz na Matematicharite i Informaticharite na Makedonija。137-144 (2003). 审核人:佐兰·佩特里奇(贝尔格莱德) MSC公司:68吨15 03F99型 PDF格式BibTeX公司 XML格式引用 \textit{I.Atanasova},in:Vtor kongres na matematicharite I informaticharite na Makedonija。斯科普里:Sojuz na Matematicharite i Informaticharite na Makedonija。137——144(2003年;Zbl 1114.68531)
欧内斯特·勒珀尔 意义和论点。通过语言介绍逻辑。修订版。 (英语) Zbl 1078.03001号 牛津:布莱克威尔出版社(ISBN 1-4051-0783-9)。十八、434页。(2003). 审核人:齐格弗里德·戈特瓦尔德(莱比锡) MSC公司:03-01 00A06号 PDF格式BibTeX公司 XML格式引用 \textit{E.Lepore},意义和论点。通过语言介绍逻辑。修订版牛津:布莱克威尔出版社(2003;Zbl 1078.03001)
卡梅尔·阿迪;穆拉德·德巴比;小梅,穆罕默德 电子商务协议的新逻辑。 (英语) Zbl 1008.68047号 西奥。计算。科学。 291,第3期,223-283(2003).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{K.Adi}等人,Theor。计算。科学。291,第3号,223--283(2003;Zbl 1008.68047) 全文: 内政部