Počet záznamů: 1
Standard Completeness Theorem for PiMTL
- 1.0405387 - UIVT-O 330759 DE eng J - Článek v odborném periodiku
Horčík, Rostislav
Standard Completeness Theorem for PiMTL.
Archive for Mathematical Logic. Roč. 44, - (2005), s. 413-424. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GA201/02/1540; GA ČR GD401/03/H047
Grant ostatní: Net CEEPUS SK-042
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.523, rok: 2003
Trvalý link: http://hdl.handle.net/11104/0125558
Název souboru Staženo Velikost Komentář Verze Přístup 0405387.pdf 0 418.6 KB Autorský preprint povolen
Počet záznamů: 1