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

by Giovanni Sommaruga (Author)

New
Paperback
2009
$172.30

$172.30

Save:$13.33 (7%)

Quantity

20+ in stock

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

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

New

$172.30

$172.30

More Information