Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)

by Thomas Streicher Hardcover details (USA). (see also: eBook (Kindle)) details (UK). (see also: eBook (Kindle)) details (Germany). (see also: Kindle Ausgabe) details (Canada). (see also: eBook (Kindle)) ISBN: 978-0-8176-3594-7 ISBN-10: 0-8176-3594-7 Birkhäuser · 1991