A structuralist theory of logic - Koslow, Arnold (Cambridge university press, 1992)