Issledovanija po formalizovannym jazykam i naklassičeskim logikam (Nauka, 1974)