Mathematical Problems From Applied Logic Ii by Dov Gabbay