Five Papers On Logic And Foundations