Քո փնտրումը վերադարձրեց 3 արդյունք։

Արդյունքներ
		Extensional Gödel functional interpretation : A consistency proof of classical analysis / Horst Luckhardt. Luckhardt, Horst Մատենաշար։ Lecture notes in mathematics (Springer-Verlag) ; 306. Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1973 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/3345. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Proof theory and intuitionistic systems / Bruno Scarpellini. Scarpellini, Bruno Մատենաշար։ Lecture notes in mathematics (Springer-Verlag) ; 212. Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1971 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/3084. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Principles of intuitionism / A. S. Troelstra. Troelstra, Anne Sjerp Մատենաշար։ Lecture notes in mathematics (Springer-Verlag) ; 95. Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; Heidelberg ; New York : Springer-Verlag, 1969 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/3078. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)

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

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