Title: Bidding through logic
Subjects: Contract bridge