Bastiaan Cornelis van Fraassen is a Dutch-American philosopher noted for his seminal contributions to philosophy of science. He is a Distinguished Professor of Philosophy at San Francisco State University and the McCosh Professor of Philosophy Emeritus at Princeton University.
A great introductory textbook to set theory and higher order logics. You will need an understanding of first order logic, but this is perhaps the best reading for the intermediate logician looking to learn more.