Logic from Gibson's Books