E. G. Nikiforova, “A fragment of formalized analysis”, Sibirsk. Mat. Zh., 1986, Volume 27, Number 5,Pages <nobr>135

RUS ENG

JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 1986 Volume 27, Number 5, Pages 135–139 (Mi smj7194)

A fragment of formalized analysis

E. G. Nikiforova

Novosibirsk

UDC: 517.11:518.5

Received: 24.10.1984

English version: Siberian Mathematical Journal, 1986, 27:5, 740–744

Bibliographic databases: