Predstavenie autora Michal Zawidzki:

Doterajšie vydané knihy od Michal Zawidzki:

Deduktívne systémy a problém rozhodnuteľnosti pre hybridné logiky - Deductive Systems and the...
Táto kniha stojí na priesečníku dvoch tém:...
Deduktívne systémy a problém rozhodnuteľnosti pre hybridné logiky - Deductive Systems and the Decidability Problem for Hybrid Logics
<<
1
>>