Поиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
Доступно
1 из 4
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
510.6
Сортировать по: заглавиюдате издания
Доступно
1 из 4
Книга
Manin, Y. I.
A course in mathematical logic for mathematicians
Springer, 2010 г.
ISBN 978-1-441-90614-4
Шаболовка 28/11, чит. зал : Shabolovka, Reading hall, Покровский б-р,...
Manin, Y. I.
A course in mathematical logic for mathematicians
Springer, 2010 г.
ISBN 978-1-441-90614-4
Шаболовка 28/11, чит. зал : Shabolovka, Reading hall, Покровский б-р,...
Заказать 
На полку Доступно
1 из 1
Книга
Algebraic perspectives on substructural logics
ISBN 9783030521653
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Algebraic perspectives on substructural logics
Серия: Trends in logic
Springer, 2021 г.ISBN 9783030521653
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Smith, P.
An introduction to Godel's theorems
Cambridge University Press, 2013 г.
ISBN 978-1-10-760675-3
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Smith, P.
An introduction to Godel's theorems
Cambridge University Press, 2013 г.
ISBN 978-1-10-760675-3
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 2
Книга
Clark, T. D.
Applying fuzzy mathematics to formal models in comparative politics
Springer, 2008 г.
ISBN 978-3-642-09612-9
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Clark, T. D.
Applying fuzzy mathematics to formal models in comparative politics
Springer, 2008 г.
ISBN 978-3-642-09612-9
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Доступно
1 из 2
Книга
Kushilevitz, E.
Communication complexity
Cambridge University Press, 2006 г.
ISBN 978-0-521-02983-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Kushilevitz, E.
Communication complexity
Cambridge University Press, 2006 г.
ISBN 978-0-521-02983-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Доступно
1 из 1
Книга
Deduction, computation, experiment: exploring the effectiveness of proof
Springer, 2008 г.
ISBN 978-88-470-0783-3
Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy
Deduction, computation, experiment: exploring the effectiveness of proof
Springer, 2008 г.
ISBN 978-88-470-0783-3
Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy
Доступно
1 из 1
Книга
Developments in language theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012: proceedings
Springer, 2012 г.
ISBN 978-3-642-31652-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Developments in language theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012: proceedings
Springer, 2012 г.
ISBN 978-3-642-31652-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Even, G.
Digital logic design: a rigorous approach
Cambridge University Press, 2012 г.
ISBN 978-1-10-702753-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Even, G.
Digital logic design: a rigorous approach
Cambridge University Press, 2012 г.
ISBN 978-1-10-702753-4
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Benthem, J. F. A. K. van
Exploring logical dynamics
ISBN 9781575860589
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Benthem, J. F. A. K. van
Exploring logical dynamics
Серия: CSLI studies in logic
CSLI Publications, 1996 г.ISBN 9781575860589
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Finite and algorithmic model theory
Cambridge University Press, 2011 г.
ISBN 978-0-521-71820-2
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Finite and algorithmic model theory
Cambridge University Press, 2011 г.
ISBN 978-0-521-71820-2
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 2
Книга
Ganter, B.
Formal concept analysis: mathematical foundations
Springer, 1999 г.
ISBN 978-3-540-62771-5
Шаболовка 28/11, чит. зал : Shabolovka, Reading hall, Покровский б-р,...
Ganter, B.
Formal concept analysis: mathematical foundations
Springer, 1999 г.
ISBN 978-3-540-62771-5
Шаболовка 28/11, чит. зал : Shabolovka, Reading hall, Покровский б-р,...
Доступно
1 из 1
Книга
Dutilh Novaes, C.
Formal languages in logic: a philosophical and cognitive analysis
Cambridge University Press, 2012 г.
ISBN 978-1-10-702091-7
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Dutilh Novaes, C.
Formal languages in logic: a philosophical and cognitive analysis
Cambridge University Press, 2012 г.
ISBN 978-1-10-702091-7
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Abonyi, J.
Fuzzy model identification for control
Springer, 2003 г.
ISBN 9781461265795
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Abonyi, J.
Fuzzy model identification for control
Springer, 2003 г.
ISBN 9781461265795
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Babuska, R.
Fuzzy modeling for control
Springer, 1998 г.
ISBN 9789401060400
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Babuska, R.
Fuzzy modeling for control
Springer, 1998 г.
ISBN 9789401060400
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Information, interaction and agency
Springer, 2005 г.
ISBN 1-402-03600-0
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Information, interaction and agency
Springer, 2005 г.
ISBN 1-402-03600-0
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Walicki, M.
Introduction to mathematical logic
World Scientific, 2012 г.
ISBN 978-981-434-387-9
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Walicki, M.
Introduction to mathematical logic
World Scientific, 2012 г.
ISBN 978-981-434-387-9
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Доступно
1 из 1
Книга
Malitz, J.
Introduction to mathematical logic: set theory, computable functions, model theory
Springer-Verlag, 1979 г.
ISBN 0-387-90346-1
МИЭМ, контр.экз. : MIEM, Single copy
Malitz, J.
Introduction to mathematical logic: set theory, computable functions, model theory
Springer-Verlag, 1979 г.
ISBN 0-387-90346-1
МИЭМ, контр.экз. : MIEM, Single copy
Доступно
1 из 2
Книга
Arfi, B.
Linguistic fuzzy logic methods in social sciences
Springer, 2010 г.
ISBN 978-3-642-13342-8
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Arfi, B.
Linguistic fuzzy logic methods in social sciences
Springer, 2010 г.
ISBN 978-3-642-13342-8
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy, Покровск...
Доступно
1 из 1
Книга
Logic, language amd meaning: 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011: revised selected papers
Springer, 2012 г.
ISBN 978-3-642-31481-0
Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy
Logic, language amd meaning: 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011: revised selected papers
Springer, 2012 г.
ISBN 978-3-642-31481-0
Ст. Басманная к. А, контр.экз.: Staraya Basmannaya block A, Single copy
Доступно
1 из 1
Книга
Logic, language, information and computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012: proceedings
Springer, 2012 г.
ISBN 978-3-642-32620-2
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy
Logic, language, information and computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012: proceedings
Springer, 2012 г.
ISBN 978-3-642-32620-2
Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy