Author:
Takeuti Gaisi,Zaring Wilson M.
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantifier-free induction for lists;Archive for Mathematical Logic;2024-04-20
2. Unrestricted quantification and ranges of significance;Philosophical Studies;2022-01-20
3. Computer Integration within Problem Solving Process;Journal of Software Engineering and Applications;2022
4. Basic Models of E-Commerce;E-Commerce;2022
5. Backmatter;Paradoxes and Inconsistent Mathematics;2021-10-21