Notes On Logic door H. Coleman