![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 04.Semantyka rachunku zdan.pdf | 2020-11-09 15:41 | 426K | |
| 05.Tabele analityczne KRZ.pdf | 2018-04-24 21:51 | 442K | |
| 06.Reguly inferencyjne KRZ.pdf | 2018-04-24 21:51 | 197K | |
| 07-08.System aksjomatyczny KRZ.pdf | 2018-04-24 21:51 | 334K | |
| 09.Postacie normalne rezolucja KRZ.pdf | 2018-04-24 21:51 | 270K | |
| 10.Pelnosc_KRZ.pdf | 2018-04-24 21:51 | 179K | |
| 11a. Jezyk KRP.pdf | 2023-01-30 00:46 | 561K | |
| 11b.System aksjomatyczny KRP_a.pdf | 2021-01-25 11:13 | 272K | |
| 12-13.Dowody tezy KRP.pdf | 2023-02-01 10:41 | 330K | |
| 2023_Zagadnienia egzaminacyjne Logika I.pdf | 2023-01-11 12:14 | 445K | |
| Zbiory, relacje i funkcje/ | 2020-06-27 22:52 | - | |