Simple Logic
Daniel Bonevac is at University of Texas at Austin.