Krystyna Mruczek-Nasieniewska – Równościowe i zdaniowe logiki P-zgodne
Celem pracy jest omówienie pewnych klas logik równościowych wyrażonych zarówno w języku teorii modeli jak i ujętych aksjomatycznie. W niniejszej ...
Celem pracy jest omówienie pewnych klas logik równościowych wyrażonych zarówno w języku teorii modeli jak i ujętych aksjomatycznie. W niniejszej ...