Issledovanija po neklassičeskim logikam i formal'nym sistemam - Michajlov, Aleksandr Ivanovič, 1905-1988 (Nauka, 1983)