Logic For Mathematics And Computer Science door Stanley Burris & Stanley N. Burris