Alexey Gaziev f126cb8d68 Merge pull request #9 from gazay/chapter22 9 vuotta sitten
..
2 f126cb8d68 Merge pull request #9 from gazay/chapter22 9 vuotta sitten
3 9cfdeaffe5 move book/ -> ru/ 9 vuotta sitten
1-introduction.ltx 9cfdeaffe5 move book/ -> ru/ 9 vuotta sitten
2-boolean-algebra.ltx 9cfdeaffe5 move book/ -> ru/ 9 vuotta sitten
3-sets-functions.ltx 9cfdeaffe5 move book/ -> ru/ 9 vuotta sitten
4-proofs.ltx 9cfdeaffe5 move book/ -> ru/ 9 vuotta sitten