Type Theory and Formal Proof

Type Theory and Formal Proof

Available
0
StarStarStarStarStar
0Reviews
Geuvers, HermanGeuvers, Herman, Nederpelt, Rob
product_type_E-book
pdf
Price
0.01 £
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9781139567725
  • Publication Date: 5 Nov 2014
  • Publisher: Cambridge University Press
  • Product language: English
  • Drm Setting: DRM