Stav dette: Logic, computers, and sets