检流计 5份文件引用(2009–2019) 软件作者： 席尔瓦，P.F。；J.N.奥利维拉。 相关软件： 菲亚特；维拉斯科；ASTREE… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…