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