History and Philosophy of Logic. 1983;4(1-2):63-72. doi: 10.1080/01445348308837045 N/A0.52025

Notes on the theory of variable binding term operators

DOI: 10.1080/01445348308837045

摘要 查看摘要

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