0174060 - MU-W 957204 RIV BR eng J - Journal Article
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
Impact factor: 0.000, year: 1993
Permanent Link: http://hdl.handle.net/11104/0071077