Text this: The foundations of Frege's logic