Primer of Mathematical Analysis and the Foundations of Computation Kamareddine, Fairouz Heftet / 2023 / Engelsk
Foundations of Combinatory Logic (Grundlagen der kombinatorischen Logik) Curry, Haskell Heftet / 2017 / Engelsk
