Primer of Mathematical Analysis and the Foundations of Computation Kamareddine, Fairouz Heftet / 2023 / Engelsk
Intelligent Computer Mathematics 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings Kamareddine, Fairouz Heftet / 2021 / Engelsk
Intelligent Technologies and Applications First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers Bajwa, Imran Sarwar Heftet / 2019 / Engelsk
Foundations of Combinatory Logic (Grundlagen der kombinatorischen Logik) Curry, Haskell Heftet / 2017 / Engelsk
