The foundations of Frege's logic - Tichý, Pavel, 1936-1994 (Walter de Gruyter, 1988)