Diskussion:Termkalkül
aus Wikipedia, der freien Enzyklopädie
Beispiele: v0 ein S-Term, ohne vorher ausdrücklich als "Variable" "Gegeben" zu sein?
.. sonst stimmt "nach Regel 1 ist nämlich v0 ein S-Term." nicht. Auch gBrotfc wäre dann nach Regel 1 ein S-Term .. ?! --217.84.66.112 13:52, 4. Nov. 2013 (CET)
