"A structuralist theory of logic" - читать интересную книгу автора (Arnold Koslow)