Showing 1 - 2 results of 2 for search 'Heyting, Arend 1898-', 查詢時間: 0.01s Refine Results
  1. 1

    Logic and foundations of mathematics. Dedicated to A. Heyting on his 70th birthday.

    出版 1968
    圖書

    Logic and foundations of mathematics. Dedicated to A. Heyting on his 70th birthday.
  2. 2

    Intuitionism an introduction 由 Heyting, Arend 1898-

    出版 1966
    圖書

    Intuitionism an introduction

檢索工具: