0174060 - MU-W 957204 RIV BR eng J - Článek v odborném periodiku
Sochor, Antonín
Constructibility in Higher Order Arithmetics.
Archive for Mathematical Logic. Roč. 32, č. 6 (1993), s. 381-389. ISSN 0933-5846. E-ISSN 1432-0665
Impakt faktor: 0.000, rok: 1993
Trvalý link: http://hdl.handle.net/11104/0071077