Upražnenija po formalʹnoj logike - Vedin, Ju (Univ., 1968)
In kyrill. Schr.