Editions of Treatise on intuitionistic type theory

Filters
Johan Georg Granström: Treatise on Intuitionistic Type Theory (2011, Springer)

Treatise on Intuitionistic Type Theory

196 pages

English language

Published 2011 by Springer.

ISBN:
978-94-007-1735-0
Copied ISBN!
OCLC Number:
741540934
Johan Georg Granström: Treatise on Intuitionistic Type Theory (Paperback, Springer)

Treatise on Intuitionistic Type Theory

Paperback, 212 pages

Published by Springer.

ISBN:
978-94-007-1737-4
Copied ISBN!

Can't find the edition you're looking for?