Type Theory and Formal Proof

An Introduction

by ,

466 pages

English language

Published 2014 by Cambridge University Press.

ISBN:
978-1-107-03650-5
Copied ISBN!

View on OpenLibrary

No rating (0 reviews)

3 editions

Subjects

  • Logic, symbolic and mathematical