A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series)

by Rob Nederpelt (Contributor), T. Laan (Contributor), F.D. D. Kamareddine (Author)

New
Paperback
2010
$155.30

$155.30

Save:$32.51 (17%)

Quantity

20 in stock

More Information

Format: Paperback
Pages: 376
Edition: Softcover reprint of hardcover 1st ed. 2004
Publisher: Springer
Published: 22 Oct 2010
ISBN 10: 904816639X
ISBN 13: 9789048166398

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series)

New

$155.30

$155.30

More Information