Eta-Reduktion

$% latex2html id marker 980 \fbox{ \parbox{12.5cm}{ {\sc Fundamentalbegriff {\a... ..._\eta M$\ , \end{center}wobei $x$\ keine freie Variable in $M$ sein darf. } }$

Georg Loczewski 2003-08-07