Որոնման արդյունքներ 'su:{Mathematical logic}' համար › ՀԱՅԱՍՏԱՆԻ ԳՐԱԴԱՐԱՆՆԵՐԻ ՀԱՄԱՀԱՎԱՔ ԳՐԱՑՈՒՑԱԿ = Union Catalog of Armenian Libraries քարտարան

Արդյունքներ
		Logic for problem solving / Robert Kowalski.; Edit. Nils J. Nilsson. Kowalski, Robert Nilsson, Nils J [edt] Մատենաշար։ Artificial intelligence series \| The Computer science library Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Elsevier North Holland, 1979 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Engineering University Library (1)Տեղաբաշխում, դասիչ։ 519.7 K-79. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Introduction to mathematical logic / Elliott Mendelson. Mendelson, Elliott Հրատարակություն։ 2d ed. Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Van Nostrand, c1979 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 519 M-55. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Handbook of mathematical logic / Ed. by Jon Barwise; With the cooperation of H. J. Keisler ... et al. Barwise, Jon [edt] Keisler, H. Jerome [edt] Մատենաշար։ Studies in logic and the foundations of mathematics ; Vol. 90 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Amsterdam ; New York : North-Holland Publ. Co., 1977 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5319. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Mathematical logic / J. Donald Monk. Monk, James Donald, 1930- Մատենաշար։ Graduate Texts in Mathematics ; 37 Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Springer-Verlag, 1976 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/4185. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		The grammar of adverbials : A study in the semantics and syntax of adverbial constructions / Renate Bartsch ; [Transl. from the German by Ferenc Kiefer]. Bartsch, Renate, 1939- Մատենաշար։ North-Holland Linguistic Series / Eds.: S.C. Dik, J.G.Kooij ; 16 \| North-Holland Linguistic Series ; 16 Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Բնօրինակ լեզու: Գերմաներեն Հրատարակման մանրամասներ։ Amsterdam ; New York : North-Holland Publ. Co., 1976 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/4162. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Admissible sets and structures : An approach to definability theory / Jon Barwise. Barwise, Jon Մատենաշար։ Perspectives in mathematical logic Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1975 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (2)Տեղաբաշխում, դասիչ։ Gulb/5143, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		From signs to propositions : the concept of form in eighteenth-century semantic theory / by Stephen K. Land. Land, Stephen K Մատենաշար։ Longman Linguistics Library ; no. 16 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ London : Longman, 1974 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (2)Տեղաբաշխում, դասիչ։ 412 LAN, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic, methodology and philosophy of science : Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 / Ed. by Patrick Suppes, Leon Henkin, Athanase Joja, Gr. C. Moisil. International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- [edt.] Henkin, Leon [edt] Joja, Athanase [edt] Moisil, Gr. C [edt] International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science Academia Republicii Socialiste Romania Մատենաշար։ Studies in Logic and the Foundations of Mathematics ; Vol. 74 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն, ֆրանսերեն, Գերմաներեն, Ռուսերեն Հրատարակման մանրամասներ։ Amsterdam ; New York : North-Holland Publ. Co.; American Elsevier Publ. Co., 1973 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5211. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Elements of mathematical logic : (Model theory) / G. Kreisel, J. L. Krivine. Kreisel, Georg Krivine, Jean Louis Մատենաշար։ Studies in logic and the foundations of mathematics Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Amsterdam : North-Holland Publ. Co., 1971 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/2685. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic Colloquium '69 : Proceedings of the Summer school and Colloquium in Mathematical Logic, Manchester, August 1969 / Ed. by R.O. Gand, C.M.E. Yates. Summer School and Colloquium in Mathematical Logic (1969 : Manchester) Gandy, Robin Oliver [edt] Yates, Charles Edmund Michael [edt] Մատենաշար։ Studies in logic and the foundations of mathematics ; Vol. 61 Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Amsterdam : North-Holland, 1971 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (2)Տեղաբաշխում, դասիչ։ Gulb/2940, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Symbolic logic : An introduction / Richmond H. Thomason. Thomason, Richmond H Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ London : Macmillan, 1970 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5764. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Term logic with choice operator / Hans Hermes. Hermes, Hans Մատենաշար։ Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann ; 6 Հրատարակություն։ 1st English ed. Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Բնօրինակ լեզու: Գերմաներեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1970 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/3082. Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 51 L-45. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Einführung in die operative Logik und Mathematik / Paul Lorenzen. Lorenzen, Paul, 1915-1994 Մատենաշար։ Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 78 Հրատարակություն։ 2 Aufl. Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Գերմաներեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1969 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 51 G-90. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Lectures on non-standard analysis / Moshe Machover, Joram Hirschfeld. Machover, Moshe Hirschfeld, Joram Մատենաշար։ Lecture notes in mathematics (Springer-Verlag) ; 94. Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; Heidelberg ; New York : Springer-Verlag, 1969 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/3079. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Symbolic logic : An introduction / Richmond H. Thomason. Thomason, Richmond H Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York ; London : Macmillan Publ. Co. ; Collier Macmillan Publishers, [1969] Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/5194. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Grundlagen der Mathematik / D. Hilbert und P. Bernays. Hilbert, David, 1862-1943 Bernays, Paul, 1888-1977 Մատենաշար։ Die Grundlehren der mathematischen Wissenschaften ; Bd. 40, 50 Հրատարակություն։ [Neue Ausg.] Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Գերմաներեն Հրատարակման մանրամասներ։ Berlin : Springer-Verlag, 1968 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (2)Տեղաբաշխում, դասիչ։ 51 G-90, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic / Ed. by M.H. Löb. Summer School in Logic (1967 : Leeds, Eng.) Löb, M. H [edt.] NATO Advanced Study Institute Association for Symbolic Logic Մատենաշար։ Lecture notes in mathematics (Springer-Verlag) ; 70. Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1968 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/3081. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Vollstandige Systeme modaler und intuitionistischer Logik / K. Schutte. Schutte, K Մատենաշար։ Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 42 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Գերմաներեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1968 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 51 E-67. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms / Ronald Björn Jensen ; ausgearbeitet von Franz Josef Leven. Jensen, Ronald Björn Leven, Franz Josef Մատենաշար։ Lecture notes in mathematics ; 37 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Գերմաներեն Հրատարակման մանրամասներ։ Berlin : Springer-Verlag, 1967 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 51 L-45. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Grundzuge der theoretischen Logik / [von] D. Hilbert und W. Ackermann. Hilbert, David, 1862-1943 Ackermann, W, 1896- Մատենաշար։ Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgebiete ; Bd. 27 Հրատարակություն։ 5. Aufl. Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Գերմաներեն Հրատարակման մանրամասներ։ Berlin ; Heidelberg : Springer, 1967 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 51 G-90. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)

Վերաձևակերպիր քո փնտրումը

Հասանելիություն

Հեղինակներ

Նյութի տեսակներ

Մատենաշար

Թեմաներ

Հավաքածուներ

Պահումը իրականացնող գրադարաններ

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