A structuralist theory of logic /
Koslow, Arnold.
Cambridge : Cambridge University Press,
1992.