import problem sets for Esty Proof Book

Here are a set of problems associated to the textbook Proof: An Introduction to Higher Mathematics.  A few are tagged with previously unused tags, as follows: 
 DBsubject(‘Set Theory’)
 DBchapter(‘Basic properties and operations’)
 DBsection(‘Misc.’)
If you have any questions, please write me at ncesty@gmail.com