A structuralist theory of logic - Arnold Koslow (Cambridge University Press, 1992)