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

Արդյունքներ
		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. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ 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. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ 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. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Modal logics / Edited with some complements by Joseph Dopp. Feys, Robert, 1889- Dopp, Joseph [edt] Մատենաշար։ Collection de logique math ematique ; Ser. B, 4 Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Louvain : E. Nauwelaerts, 1965 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/551. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Gramatyka i matematyka / Zdzisław Pawlak. Pawlak, Zdzisław Հրատարակություն։ [Wyd. 1.] Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Լեհերեն Հրատարակման մանրամասներ։ Warszawa : Panstwowe Zaklady Wydawnictw Szkolnych, [1965] Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Djauk/3880. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		The logical problem of induction / by Georg Henrik von Wright. Wright, Georg Henrik von, 1916- Հրատարակություն։ 2nd rev. ed. Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Oxford : Basil Blackwell, 1965 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/2088. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ A theory of sets / by Anthony P. Morse. Morse, Anthony P Մատենաշար։ Pure and applied mathematics: a series of monographs and textbooks ; 18 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Academic Press, 1965 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 517 P-97. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Elements of mathematical logic / Jan Łukasiewicz ; Translated from Polish by Olgierd Wojtasiewicz. Łukasiewicz, Jan Մատենաշար։ International series of monographs in pure and applied mathematics ; v. 31. Հրատարակություն։ [2nd ed.]. Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: engpol Հրատարակման մանրամասներ։ New York : Macmillan, [1964, c1963] Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/660. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic : techniques of formal reasoning / [by] Donald Kalish [and] Richard Montague. Kalish, Donald Montague, Richard [joint author.] Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Harcourt, Brace & World, [1964] Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 16 K-17. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)

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

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

Հեղինակներ

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

Մատենաշար

Թեմաներ

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

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

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