Showing 1 - 3 results of 3 for search 'Boolos, George', 查詢時間: 0.01s Refine Results
  1. 1

    Computability and logic 由 Boolos, George

    出版 2007
    Table of contents only
    圖書

    Computability and logic
  2. 2

    Computability and logic 由 Boolos, George

    出版 2002
    圖書

    Computability and logic
  3. 3

    The logic of provability 由 Boolos, George

    出版 1993
    圖書

    The logic of provability

檢索工具: