Отображение 21 - 40 результаты of 1,294 для поиска '"Logic"', время запроса: 0.06сек. Отмена результатов
  1. 21
    Computational Complexity of Solving Equation Systems
    по Broniek, Przemysław
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 22
    Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
    по Montano, Ulianov
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 23
    The Road to Universal Logic Festschrift for 50th Birthday of Jean-Yves Béziau Volume I /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 24
    Turing's Revolution The Impact of His Ideas about Computability /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 25
    Reactive Kripke Semantics
    по Gabbay, Dov M.
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 26
    David Makinson on Classical Methods for Non-Classical Problems
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 27
    Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
    по Carnielli, Walter
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 28
    One Hundred Prisoners and a Light Bulb
    по van Ditmarsch, Hans, Kooi, Barteld
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 29
    Logica Universalis Towards a General Theory of Logic /
    по Beziau, Jean-Yves
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic, Symbolic and mathematical 293145...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 30
    Logica Universalis Towards a General Theory of Logic /
    по Beziau, Jean-Yves
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logic, Symbolic and mathematical 293145...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 31
    Recent Trends in Philosophical Logic
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 32
    Introduction to Logic and Theory of Knowledge Lectures 1906/07 /
    по Husserl, Edmund
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 33
    Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
    по Artemov, Sergei N.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design 306256...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 34
    Pluralism in Mathematics: A New Position in Philosophy of Mathematics
    по Friend, Michèle
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 35
    Constructivity and Computability in Historical and Philosophical Perspective
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 36
    Leśniewski's Systems of Logic and Foundations of Mathematics
    по Urbaniak, Rafal
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 37
    Gentzen's Centenary The Quest for Consistency /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical logic. 461383...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 38
    Mathematical Logic Foundations for Information Science /
    по Li, Wei
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic, Symbolic and mathematical. 293145...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 39
    Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice /
    по Clerbout, Nicolas, Rahman, Shahid
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 40
    Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV /
    по Wójcicki, Ryszard
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток