Merge pull request #15 from m4rr/master

Внутренние кавычки (второго уровня)
arithmetics continued
Arithmetics (finished)

Proofreading needed
Arithmetics + Tex2WP

Typos + new conversion script
Multipliers and so on
Beginning of theories intuition chapter
Theories: intuition

Finished
work on typos
typos
Dirichlet principle
Proofreading
Update book.tex

Use float package to enable "Here definitely" positioning of figures.
Update logic-intuition.tex

"Here definitely" positioning of figures 1.2 and 1.3 to make them rest on one page (as per author's request at http://heller.ru/blog/2013/11/naturals-pigeonhole/)
Merge pull request #17 from memoryfull/patch-1

Update book.tex
Merge pull request #18 from memoryfull/patch-2

Update logic-intuition.tex
Update book.tex

Removed erroneous [pass] option for `float' package call (sorry for that).
Merge pull request #19 from memoryfull/patch-3

Update book.tex
Induction (work in progress)
Work on induction
Work on induction chapter