Prezentacja autora Michal Zawidzki:

Dotychczas wydane książki Michal Zawidzki:

Systemy dedukcyjne i problem rozstrzygalności dla logik hybrydowych - Deductive Systems and the...
Niniejsza książka przecina dwa tematy:...
Systemy dedukcyjne i problem rozstrzygalności dla logik hybrydowych - Deductive Systems and the Decidability Problem for Hybrid Logics
<<
1
>>