ՀԱՅԱՍՏԱՆԻ ԳՐԱԴԱՐԱՆՆԵՐԻ ՀԱՄԱՀԱՎԱՔ ԳՐԱՑՈՒՑԱԿ = Union Catalog of Armenian Libraries

Computations in higher types /

Moldestad, Johan, 1946-

Computations in higher types / Johan Moldestad. - Berlin ; New York : Springer-Verlag, 1977. - 203 p. ; 25 cm. - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann 574 . - 510/.8 s 511/.3 . - Lecture notes in mathematics (Springer-Verlag) ; 574. .

Includes index. Bibliogr.: p. [195]-196.

0387081321


Recursive functions

510/.8 s 511/.3

Հայաստանի ազգային գրադարան ՀՀ, 0009,Երևան, Տերյան 72 Հետադարձ կապ

Ուղեկցվում է Կոհա