Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science) (English and German Edition)

by Johan Georg Granström

Hardcover

details (USA).
(see also: eBook (Kindle))

details (United Kingdom).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

ISBN: 978-94-007-1735-0

ISBN-10: 94-007-1735-0

Springer · 2011