Как строятся версии: основы логики и доказательства