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

检索工具: