Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Studies in Logic: Mathematical Logic and Foundations)

by Chad E Brown (Editor), Christoph Benzmueller (Editor), Joerg Siekmann (Editor)

New
Paperback
2008
$24.49

$24.49

Quantity

10 in stock

More Information

Format: Paperback
Pages: 480
Publisher: College Publications
Published: 01 Dec 2008
ISBN 10: 1904987702
ISBN 13: 9781904987703

Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Studies in Logic: Mathematical Logic and Foundations)

New

$24.49

$24.49

More Information