1973

Y.I. Kulakov T.I. Protasiewicz

International logic review 4/1