D02 Złożoność obliczeniowa dowodów w klasycznym i intuicjonistycznym rachunku zdań