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

Principles of intuitionism /

Troelstra, Anne Sjerp

Principles of intuitionism / A. S. Troelstra. - Berlin ; Heidelberg ; New York : Springer-Verlag, 1969. - 111 p. 28 cm. - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann 95 . - Lecture notes in mathematics (Springer-Verlag) ; 95. .

"Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y."

Bibliogr.: p. 108-111.


Intuitionistic mathematics

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

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