Отображение 1 - 20 результаты of 1,294 для поиска '"Logic"', время запроса: 0.07сек. Отмена результатов
  1. 1
    Freedom and Enforcement in Action A Study in Formal Action Theory /
    по Czelakowski, Janusz
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  2. 2
    Johan van Benthem on Logic and Information Dynamics
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  3. 3
    Constructive Negations and Paraconsistency
    по Odintsov, Sergei P.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  4. 4
    The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
    по Benthem, Johan
    Опубликовано в: Springer e-books (2006)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 5
    Dag Prawitz on Proofs and Meaning
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 6
    Petr Hájek on Mathematical Fuzzy Logic
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  7. 7
    Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
    по Carnielli, Walter
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  8. 8
    Institution-independent Model Theory
    по Diaconescu, Răzvan
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  9. 9
    Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
    по Horská, Anna
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  10. 10
    Games for your mind the history and future of logic puzzles
    по Rosenhouse, Jason
    Публикация 2020
    Предметы: “...Logic puzzles....”
    EBSCOhost
    Перейти в каталог НБ ТГУ
    Электронная книга
  11. 11
    Logica Volume 1 Dimostrazioni e modelli al primo ordine /
    по Abrusci, Vito Michele, Falco, Lorenzo Tortora
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  12. 12
    The Arché Papers on the Mathematics of Abstraction
    по Cook, Roy T.
    Опубликовано в: Springer e-books (2008)
    Предметы: “...Logic, Symbolic and mathematical 293145...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  13. 13
    Advances in Natural Deduction A Celebration of Dag Prawitz's Work /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  14. 14
    Handbook of Philosophical Logic
    по Gabbay, D. M.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  15. 15
    Goguen Categories A Categorical Approach to L-fuzzy Relations /
    по Winter, Michael
    Опубликовано в: Springer e-books (2007)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  16. 16
    Handbook of Philosophical Logic, 2nd Edition
    по Gabbay, D. M.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  17. 17
    Mathematical Problems from Applied Logic I Logics for the XXIst Century /
    по Gabbay, Dov M.
    Опубликовано в: Springer e-books (2006)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  18. 18
    A Modern Perspective on Type Theory From its Origins until Today /
    по Kamareddine, Fairouz
    Опубликовано в: Springer e-books (2005)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  19. 19
    Information and Knowledge A Constructive Type-theoretical Approach /
    по Primiero, Giuseppe
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...logic 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  20. 20
    The Road to Universal Logic Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic. 295753...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
Инструменты поиска: RSS-поток