Number of the records: 1
Standard Completeness Theorem for PiMTL
- 1.0405387 - UIVT-O 330759 DE eng J - Journal Article
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
R&D Projects: GA ČR GA201/02/1540; GA ČR GD401/03/H047
Grant - others:Net CEEPUS SK-042
Subject RIV: BA - General Mathematics
Impact factor: 0.523, year: 2003
Permanent Link: http://hdl.handle.net/11104/0125558
File Download Size Commentary Version Access 0405387.pdf 0 418.6 KB Author´s preprint open-access
Number of the records: 1