Epsilon calculus is one of the most important proof theoretic concepts, but it is usually associated with classical logic. In this lecture we investigate natural extensions to nonclassical logics. These extensions are usually conservative wrt the propositional fragments, but allow for the derivability of all classically valid quantifier shift laws. As consequence we show, that finitely valued first order Gödel logics are exactly the intermediate logics validating the first epsilon theorem. In addition, the second epsilon theorem does also hold.