Skip to primary navigation
Skip to content
Skip to footer
Umut Özge
Graduate School of Informatics, METU
Posts
Categories
Tags
Toggle search
Toggle menu
Definition: Addition
\(\forall x. x+0=x\).
\(\forall x,y. x+s(y) = s(x + y)\).
Previous
Next
Enter your search term...