Showing 1 - 1 results of 1 for search 'Heyting, A.', 查询时间: 0.01s Refine Results
  1. 1
    Les fondements des mathématiques : intuititionnisme, théorie de la démonstration
    由 Heyting, A.
    出版 1955
    Ouvrage