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