RelBib: Tarski's definition of truth and Church's thesis https://relbib.de/Record/1642788554/Description