Details of Book: Semantics Of Type Theory - Correctness, Completeness And Independence Results Book: Semantics Of Type Theory - Correctness, Completeness And Independence Results
Author: Streicher,
ISBN: 0817635947
ISBN-13: 9780817635947
, 978-0817635947
Binding: Hardcover
Publishing Date: 1991
Publisher: Birkhauser
Number of Pages: 298