Non-standard logic and its applications:(several lectures in Oxford)