Отображение 61 - 80 результаты of 1,266 для поиска '"Logic."', время запроса: 0.05сек. Отмена результатов
  1. 61
    Towards an Arithmetical Logic The Arithmetical Foundations of Logic /
    по Gauthier, Yvon
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical logic....”
    Полный текст
    Электронная книга
  2. 62
    A Course on Mathematical Logic
    по Srivastava, S. M.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  3. 63
    Completeness Theory for Propositional Logics
    по Pogorzelski, Witold A.
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  4. 64
    Proof Theory The First Step into Impredicativity /
    по Pohlers, Wolfram
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  5. 65
    Théorie des ensembles
    по Bourbaki, Nicolas
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  6. 66
    Krister Segerberg on Logic of Actions
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...logic....”
    Полный текст
    Электронная книга
  7. 67
    Transactions on Computational Science XXIV Special Issue on Reversible Computing /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  8. 68
    Logicism, Intuitionism, and Formalism What has Become of Them? /
    по Hendricks, Vincent F.
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...logic...”
    Полный текст
    Электронная книга
  9. 69
    Proof Theory for Fuzzy Logics
    по Metcalfe, George
    Опубликовано в: Springer eBooks (2009)
    Предметы: “...logic...”
    Полный текст
    Электронная книга
  10. 70
    Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logic design....”
    Полный текст
    Электронная книга
  11. 71
    Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
    по Lupacchini, Rossella
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...logic...”
    Полный текст
    Электронная книга
  12. 72
    Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications /
    по Nievergelt, Yves
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical logic....”
    Полный текст
    Электронная книга
  13. 73
    Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Mathematical logic....”
    Полный текст
    Электронная книга
  14. 74
    Pesky Essays on the Logic of Philosophy
    по Lucey, Kenneth G.
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...logic....”
    Полный текст
    Электронная книга
  15. 75
    Language, Meaning, Interpretation
    по Fløistad , Guttorm
    Опубликовано в: Springer e-books (2005)
    Предметы: “...logic...”
    Полный текст
    Электронная книга
  16. 76
    Problems and Theorems in Classical Set Theory
    по Komjáth, Péter
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic, Symbolic and mathematical...”
    Полный текст
    Электронная книга
  17. 77
    Set Theory Exploring Independence and Truth /
    по Schindler, Ralf
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logic, Symbolic and mathematical....”
    Полный текст
    Электронная книга
  18. 78
    Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  19. 79
    Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
    по Duparc, Jacques
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
  20. 80
    Computer Science Logic (vol. # 4207) 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
    по Ésik, Zoltán
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logic design...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток