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

by Giovanni Sommaruga (Author)

New
Hardcover
2000
$238.95

$238.95

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 388
Edition: 2000
Publisher: Springer
Published: 31 Jul 2000
ISBN 10: 0792361806
ISBN 13: 9780792361800

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

New

$238.95

$238.95

More Information