G. P. Baker

with Hacker, P. M. , 2003, 'Functions in Begriffsschrift', Synthese 135 (3), 273-297.