https://9lib.org/document/zgw9027y-dowód-aksjomatyzowalności-pewnych-wartościowych-rachunków-sadowski-studia-recenzja.html