Simple Logic C by Daniel Bonevac