Type Theory and Formal Proof: An Introduction

by Herman Geuvers (Author), Rob Nederpelt (Author)

New
Illustrated
2014
$104.06

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.

Synopsis

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.

$104.06

Quantity

20 in stock

More Information

Format: Illustrated
Pages: 466
Edition: Illustrated
Publisher: Cambridge University Press
Published: 06 Nov 2014
ISBN 10: 110703650X
ISBN 13: 9781107036505

Type Theory and Formal Proof: An Introduction

New

$104.06

Synopsis

$104.06

More Information