History and Philosophy of Constructive Type Theory: 290 (Synthese Library)

More Information

Format: Paperback
Pages: 380
Edition: Softcover reprint of hardcover 1st ed. 2000
Publisher: Springer Netherlands
Published: 28 Dec 2009
ISBN 10: 9048154030
ISBN 13: 9789048154036