| Study material | From academic year | Language | File type | Size |
|---|---|---|---|---|
| Procedurální sémantika pro hyperintensionální logiku | 2023/2024 | anglicky | 5 MiB |
| Study material | From academic year | Language | File type | Size |
|---|---|---|---|---|
| Procedurální sémantika pro hyperintensionální logiku | 2023/2024 | anglicky | 5 MiB |