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
$194.55

$194.55

Quantity

10 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

$194.55

$194.55

More Information