Betting Boolean-style: a framework for trading in securities based on logical formulas

Abstract
No abstract available