The Forcing Method in Set Theory An Introduction via Boolean Valued Logic - Viale, Matteo. (Springer Nature Switzerland,)