Počet záznamů: 1
Některé další vlastnosti testů dokazatelnosti v Gentzenově kalkulu - nepublikováno
- 1.0403186 - UIVT-O 200378 CS1 cze O - Ostatní výsledky
Kramosil, Ivan
Některé další vlastnosti testů dokazatelnosti v Gentzenově kalkulu - nepublikováno.
1969
Trvalý link: http://hdl.handle.net/11104/0123511
Název souboru Staženo Velikost Komentář Verze Přístup 0403186.pdf 0 5.8 MB Jiná vyžádat
Počet záznamů: 1