Skip to content
VuFind
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
高級檢索
  • Raymond Smullyan on Self Refer...
  • 引用
  • 發送短信
  • 推薦此
  • 打印
  • 導出紀錄
    • 導出到 RefWorks
    • 導出到 EndNoteWeb
    • 導出到 EndNote
  • Permanent link
Raymond Smullyan on Self Reference

Raymond Smullyan on Self Reference

書目詳細資料
企業作者: SpringerLink (Online service)
其他作者: Fitting, Melvin (Editor), Rayman, Brian (Editor)
總結:VIII, 195 p. 23 illus., 18 illus. in color.
text
語言:英语
出版: Cham : Springer International Publishing : Imprint: Springer, 2017.
版:1st ed. 2017.
叢編:Outstanding Contributions to Logic, 14
主題:
Logic.
Mathematical logic.
Computer science.
Mathematical Logic and Foundations.
Theory of Computation.
在線閱讀:https://doi.org/10.1007/978-3-319-68732-2
格式: 電子 圖書
  • 持有資料
  • 實物特徵
  • 相似書籍
  • 職員瀏覽

因特網

https://doi.org/10.1007/978-3-319-68732-2

相似書籍

  • Ewa Orłowska on Relational Methods in Logic and Computer Science
    出版: (2018)
  • Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
    出版: (2021)
  • The Logic, Philosophy, and History of the Lambda-Calculus Theory and Applications /
    由: Zerpa, Levis
    出版: (2024)
  • Neighborhood Semantics for Modal Logic
    由: Pacuit, Eric
    出版: (2017)
  • Larisa Maksimova on Implication, Interpolation, and Definability
    出版: (2018)