History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)
Edition: 1 edition
Publisher: Springer
Published: February 1, 2000
Language: eng
Format: Hardcover
Number of pages: 368
ISBN-13: 9780792361800
Subjects: Mathematical And Symbolic Logic; Mathematics; Philosophy; Logic; Mathematics / Logic; Philosophy / Logic; Type theory
Notes: Synthese Library