A *(Learning Lounge) course about _(Reflection).

<ul>
<li><a href="http://wwwmath.uni-muenster.de/math/inst/logik/publ/pre/2.html">Provability and Reflection</a>: Formal results about (metalogical) reflection. 
<li><a href="http://fare.tunes.org/tmp/">Reflection, Lambda-calculus and Non-determinism</a>
<li>A yet-to-be-done selection of stuff from the _(Reflection Review) page at  <a href="http://tunes.org/Review/Reflection.html">the static site</a>.
</ul>

... and obviously Fare's thesis, when it will be ready (What? Where? Don't even ask, you already know where to find it.)