elementy logiki i teorii mnogości dla informatyków pdf