A Structuralist Theory Of Logic by Arnold Koslow