R. G. Heck Junior, “Frege’s theorem: an introduction”, Manuscrito - Rev. Int. Fil., vol. 26, nº 2, p. 471–503, mar. 2016.