| Studijní materiál | Od ak. roku | Jazyk | Typ souboru | Velikost |
|---|---|---|---|---|
| Procedurální sémantika pro hyperintensionální logiku | 2023/2024 | anglicky | 5 MiB |
| Studijní materiál | Od ak. roku | Jazyk | Typ souboru | Velikost |
|---|---|---|---|---|
| Procedurální sémantika pro hyperintensionální logiku | 2023/2024 | anglicky | 5 MiB |