题名:对偶三角模-三角余模逻辑及推理
作者:张兴芳著
出版年:2015
ISBN: 978-7-03-043280-3
分类号: O141
中图分类: 数理逻辑(符号逻辑)