TY - GEN AU - Bălgarska akademija na naukite. Edinen centăr po matematika i mehanika TI - Matematičeskaja Logika PY - 2018 PB - UR - ER -