Menu

Herman Geuvers

1 published title

Type theory and formal proof : an introduction

(Contributor)

1 edition

  • ISBN: 9781107036505
  • Cambridge University Press
  • 2014
  • Details

obnb.uk is a Good Stuff website.