内部审计师在审计过程中需要运用多种专业方法，下列选项中，属于内部审计师运用抽样的逻辑方法的是：
A内部审计师利用通用审计软件选择了一部分应收账款，并通过函证手段取得了证明其存在性的结论
B内部审计师通过观察固定资产得出数目，并与年末的记录中固定资产的盘点数进行比对，从而证明了固定资产的存在性
C内部审计师通过检查2014年的存货收发记录，没有发现2013年的存货交易记录，所以证明2014年的记录是正确的
D内部审计师利用分析性复核程序估计销售账户余额的正确性，得出账簿记录的正确性