History and Philosophy of Logic. 1997;18(2):95-108. doi: 10.1080/01445349708837278 N/A0.52025

Frege and the resolution calculus

DOI: 10.1080/01445349708837278

摘要 查看摘要

Copyright © History and Philosophy of Logic. 中文内容为AI机器翻译，仅供参考！