Back in 2009, I taught a short course on the epsilon calculus at the Vienna University of Technology.  I wrote up some of the material, intending to turn them into something longer.  I haven’t had time to do that, but someone might find what I did helpful. So I put it up on arXiv:

http://arxiv.org/abs/1411.3629