Showing 1 - 2 results of 2 for search 'Geuvers, Herman', query time: 0.06s Refine Results
  1. 1

    Type theory and formal proof an introduction by Nederpelt, Rob, Geuvers, Herman

    Published 2014
    Book
  2. 2

Search Tools: