Introduction to Proper Forcing Reference What is a good introduction to proper forcing? I am aware of Shelah Proper and Improper Forcing, but I heard this book may be somewhat challenging to read. There is also Devlin's The Yorkshiremen's Guide to Proper Forcing and Baumsgartner's Applications of the Proper Forcing Axiom. 
Are any of the above good introductions to proper forcing? Are there other surveys in proper forcing that I did not list above that may work better as an introduction? 
Thanks.

In addition to Asaf's recommendations, you should also check Martin Goldstern's "Tools for your forcing construction": http://info.tuwien.ac.at/goldstern/papers/tools.ps
Once you're familiar with the basics of proper forcing, I recommend checking the wonderful book of Bartoszynski and Judah for some applications in the set theory of the reals (in particular, check chapter 6 for some nice preservation theorems).
