Simplified Independence Proofs~Boolean Valued Models~by J Barkley Rosser 1970 HC This textbook is a bit heavy but worth it for the amount of content inside.
