Wykład ze wstępu do logiki i teorii mnogości dla 1 roku studiów stacjonarnych