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

Արդյունքներ
		Incompleteness : the proof and paradox of Kurt Godel / Rebecca Goldstein. Goldstein, Rebecca, 1950- Մատենաշար։ Great discoveries Հրատարակություն։ 1st ed. Նյութի տեսակ։ Տեքստ Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : W.W. Norton, c2005 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 51:92 G-58. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Proof and system-reliability / Ed. by Helmut Schwichtenberg, Ralf Steinbruggen. NATO Advanced Study Insitute on Proof and System-Reliability 24 July-5 August, 2001 Marktoberdorf, Germany North Atlantic Treaty Organization Scientific Affairs Division Մատենաշար։ NATO Science Series. Series II Mathematics, Physics and Chemistry ; Vol. 62 Նյութի տեսակ։ Տեքստ Հրատարակման մանրամասներ։ Dordrecht ; Boston ; London : Kluwer Acad. Publ, 2002 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 51 S-39. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		The moment of proof : mathematical epiphanies / Donald C. Benson. Benson, Donald C Նյութի տեսակ։ Տեքստ Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Oxford University Press, 1999 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 51 B-43. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		The mathematical method : Atransition to advanced mathematics / by M. Eisenberg. Eisenberg, Murray Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Upper Saddle River, N.J. : Prentice Hall, 1996 Հասանելիություն: Նյութերը մատչելի են տացքի համար: National Library of Armenia (1)Տեղաբաշխում, դասիչ։ II 55173. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Basic proof theory / by A.S. Troelstra, H. Schwichtenberg. Troelstra, A.S Schwichtenberg, H Մատենաշար։ Cambridge Tracts in Theoretical Computer Science Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1996 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 511.3 TRO. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Normalization, cut-elemention and the theory of proofs / by A.M. Ungar. Ungar, A.M Մատենաշար։ CSLI Lecture Notes ; No. 28 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Stanford, Calif. : Center for the Study of Language and Information, 1992 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 511.3 UNG. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Iterated inductive definitions and subsystems of analysis : Recent proof-theoretical studies / Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg. Buchholz, Wilfried, 1948- Feferman, Solomon Pohlers, Wolfram Sieg, Wilfried Մատենաշար։ Lecture notes in mathematics (Springer-Verlag) ; 897. Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1981 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5863. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		A bridge to advanced mathematics / Dennis Sentilles. Sentilles, Dennis Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Baltimore : Williams & Wilkins, [1975] Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 51 S-47. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		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. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)

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

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