5 results Refine Results
  1. 1
    by Heyting, A. (Arend), 1898-
    Published 1971
    Book
    Save to List
    Saved in:
    Intuitionism : an introduction.
  2. 2
    by Heyting, A. (Arend), 1898-
    Published 1963
    Book
    Save to List
    Saved in:
    Axiomatic projective geometry /
  3. 3
    by Heyting, A. (Arend), 1898-
    Published 1956
    Book
    Save to List
    Saved in:
    Intuitionism : an introduction /
  4. 4
    Other Authors “...Heyting, A. (Arend), 1898-...”
    Book
    Save to List
    Saved in:
    Collected works /
  5. 5
    Published 1990
    Other Authors
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical logic /

Search Tools: