ParentFull threadaSanchezStern·1979 :) https://en.wikipedia.org/wiki/Logic_for_Computable_FunctionsView on HN