Section on predicates now contains a part on implication
Update logic-basics.tex

транзтивности -> транзитивности
Update logic-functions.tex
Merge pull request #9 from murfel/patch-1

Update logic-basics.tex
Merge pull request #10 from murfel/patch-2

Update logic-functions.tex
Draft of 3.1 paragraph

Also contains draft of intuition for theories.
HTML2Tex deleted

New chapters will be written in LaTeX, not in HTML.
Forgot about powers :)
Small fixes
Merge branch 'master' of git://github.com/xHellerx/Math-tutorial