Hilbertovský a Gentzenovský formální systém (skripta)
| Vavrečková, Šárka. Hilbertovský a Gentzenovský formální systém (skripta). |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | Hilbertovský a Gentzenovský formální systém (skripta) |
| Authors | Vavrečková, Šárka. |
| Edition | |
| Other information | |
|---|---|
| WWW | URL |
| Changed by | Changed by: RNDr. Jan Géryk, Ph.D., učo 72902. Changed: 31/1/2019 10:25. |
PrintDisplayed: 23/9/2024 01:41