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

Արդյունքներ
		Չկան հասանելի կազմերի պատկերներ Interval colorings of graphs with predefined restrictions : Dissertation for the degree of candidate of physical and mathematical sciences in the specialty A.01.09.-''Mathematical cybernetics and Mathematical logic" / Albert Khachik Sahakyan. Sahakyan, Albert Khachik Նյութի տեսակ։ Տեքստ Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Yerevan : [S. n.], 2021 Ատենախոսության նշում: Scientific supervisor Doctor of Physico-Mathematical sciences R.R. Kamalian Հասանելիություն: Նյութերը մատչելի են տացքի համար: National Library of Armenia (1)Տեղաբաշխում, դասիչ։ III / 291. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Algebra, logic, and combinatorics / Edt.: Shaun Bullett, Tom Fearn, Frank Smith. Bullett, Shaun [edt] Fearn, T [edt] Smith, F.T [edt] Մատենաշար։ LTCC advanced mathematics series ; vol. 3 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New Jersey : World Scientific, 2016 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ И II/115782. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Studies in weak arithmetics / Ed. by Patrick Cegielski. Cegielski, Patrick, 1954- [edt] Մատենաշար։ CSLI lecture notes ; No. 196 Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Stanford, Calif. : CSLI Publications, 2010 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ И II/114328. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Funktion, Begriff, Bedeutung : Fünf logische Studien / G. Frege ; Hrsg. und eingeleitet von G. Patzing. Frege, Gottlob Patzing, Günther [edt] Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Գերմաներեն Հրատարակման մանրամասներ։ Göttingen : Vandenhoeck & Ruprecht, 2008 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Linguistic University Library (1)Տեղաբաշխում, դասիչ։ 511.4 F 88. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma / edited by B. Jack Copeland. Turing, Alan Mathison, 1912-1954 Copeland, B. Jack, 1950- Նյութի տեսակ։ Տեքստ Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Oxford ; New York : Clarendon Press ;, Oxford University Press,. 2004 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 001:92 T-95. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic, language and computation / edited by Jerry Seligman, Dag Westerstahl. Seligman, Jerry Westerstahl, Dag Մատենաշար։ CSLI Lecture Notes ; No. 55 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Stanford, Calif. : CSLI Publications, 1999 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 410 LOG V.2. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Higher order operational techniques in semantics / edited by Andrew D. Gordon, Andrew M. Pitts. Gordon, Andrew D Pitts, Andrew M Մատենաշար։ Publications of the Newton Institute ; No. 12 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1998 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 004.0151 HIG. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer. Pitts, Andrew M Dybjer, Peter Մատենաշար։ Publications of the Newton Institute ; 14 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1997 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 004.0151 SEM. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Mathematics, machines & Godel's proof / by N. Shankar. Shankar, N Մատենաշար։ Cambridge Tracts in Theoretical Computer Science Ser. ; No. 38 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1997 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 004.0151 SHA. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic of mathematics : A modern course of classical logic / By Z. Adamowicz, P. Zbierski. Adamowicz, Zofia Zbierski, Pawel Մատենաշար։ Pure and applied mathematics Նյութի տեսակ։ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Wiley & Sons, 1997 Հասանելիություն: Նյութերը մատչելի են տացքի համար: National Library of Armenia (2)Տեղաբաշխում, դասիչ։ II 56103, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Topology via logic / by Steven Vickers. Vickers, Steven Մատենաշար։ Cambridge Tracts in Theoretical Computer Science Ser. ; No. 5 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1996 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 512.55 VIC. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Epistemic logic for AI and computer science / by J.-J. Meyer, W. van der Hoek. Meyer, J.-J Der Hoek, W. van Մատենաշար։ Tracts in Theoretical Computer Science Ser. ; No. 41 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1995 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 511.3 MEY. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		From symbolic logic-- to mathematical logic / Charles L. Silver. Silver, Charles L Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Dubuque, Iowa : Wm. C. Brown Publishers, c1994 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 16 S-60. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. Ebbinghaus, Heinz-Dieter, 1939- Flum, Jorg Thomas, Wolfgang, 1947- Մատենաշար։ Undergraduate texts in mathematics Հրատարակություն։ 2nd ed. Նյութի տեսակ։ Տեքստ Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Springer-Verlag, 1994 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Engineering University Library (1)Տեղաբաշխում, դասիչ։ 511.3 E-14. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Logic and structure / Dirk van Dalen. Dalen, D. van, 1932- Մատենաշար։ Universitext Հրատարակություն։ 3rd augm. ed. Նյութի տեսակ։ Տեքստ Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1994 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Engineering University Library (1)Տեղաբաշխում, դասիչ։ 511.3 D-16. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Non-monotonic reasoning : logical architecture and philosophical applications / by Yao Hua Tan. Tan, Yao Hua Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Amsterdam, Neth. : Universiteit te Amsterdam, 1992 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 160 TAN. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Lectures on linear logic / by A.S. Troelstra. Troelstra, A.S Մատենաշար։ CSLI Lecture Notes ; No. 29 Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Հրատարակման մանրամասներ։ Stanford, Calif. : Center for the Study of Language and Information, 1992 Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 511.3 TRO. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Philosophical applications of free logic / with an introduction and edited by Karel Lambert. Lambert, Karel, 1928- [edt] Նյութի տեսակ։ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ New York : Oxford University Press, 1991 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 1Ф L-20. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Frege and other philosophers / Michael Dummett. Dummett, Michael Նյութի տեսակ։ Տեքստ Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Oxford : Clarendon Press, 1991 Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 1Ф:92 D-89. Դնել պահում Ավելացրու զամբյուղին (հեռացրու)
		Չկան հասանելի կազմերի պատկերներ Journal of logic and computation Նյութի տեսակ։ Շարունակական պաշար; Շարունակական պաշարի տեսակը: պարբերական Լեզու: Անգլերեն Հրատարակման մանրամասներ։ Oxford : Oxford University Press, 1990- Առցանց պաշարներ։ Սեղմիր այստեղ առցանց մուտքի համար Սեղմիր այստեղ առցանց մուտքի համար Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (4)Տեղաբաշխում, դասիչ։ ИЖ 3774, ... Դնել պահում Ավելացրու զամբյուղին (հեռացրու)

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

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

Հեղինակներ

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

Մատենաշար

Թեմաներ

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

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

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