Issledovanija po neklassičeskim logikam i formal'nym sistemam (Nauka, 1983)