Advances in logic ;