Publisher
Springer Berlin Heidelberg
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logics and collaboration;Logic Journal of the IGPL;2023-05-08
2. What is mathematical logic? An Australian odyssey;Logic Journal of the IGPL;2022-07-13
3. The noneffectivity of Arslanov’s completeness criterion and related theorems;Archive for Mathematical Logic;2020-01-22
4. IN MEMORIAM: SOLOMON FEFERMAN (1928–2016);The Bulletin of Symbolic Logic;2017-09
5. Church Encoding of Data Types Considered Harmful for Implementations;Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages;2014-10