by Adam Chlipala
Hardcover
details (USA).
(see also: eBook (Kindle))
details (UK).
(see also: eBook (Kindle))
details (Germany).
(see also: Kindle Ausgabe)
details (Canada).
(see also: eBook (Kindle))
ISBN: 978-0-262-02665-9
ISBN-10: 0-262-02665-1
The MIT Press · 2013