comparison staging/index.html @ 521:6ea0694afa44

Add ISBN
author Adam Chlipala <adam@chlipala.net>
date Sat, 14 Dec 2013 14:58:32 -0500
parents 2bcc4e7976d7
children ee34e94183a8
comparison
equal deleted inserted replaced
520:4a4a9893c57f 521:6ea0694afa44
19 <p>A traditional hardcopy version is available from <a href="http://mitpress.mit.edu/">MIT Press</a>, who have graciously agreed to allow distribution of free versions online indefinitely, minus the benefits of the Press' copy editing!</p> 19 <p>A traditional hardcopy version is available from <a href="http://mitpress.mit.edu/">MIT Press</a>, who have graciously agreed to allow distribution of free versions online indefinitely, minus the benefits of the Press' copy editing!</p>
20 20
21 <h2>Buy a Copy in Print</h2> 21 <h2>Buy a Copy in Print</h2>
22 <ul> 22 <ul>
23 <a href="http://www.amazon.com/gp/product/0262026651/ref=as_li_tf_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=0262026651&linkCode=as2&tag=adamchli-20">From Amazon.com</a><img src="http://ir-na.amazon-adsystem.com/e/ir?t=adamchli-20&l=as2&o=1&a=0262026651" width="1" height="1" border="0" alt="" style="border:none !important; margin:0px !important;" /><br/> 23 <a href="http://www.amazon.com/gp/product/0262026651/ref=as_li_tf_tl?ie=UTF8&camp=1789&creative=9325&creativeASIN=0262026651&linkCode=as2&tag=adamchli-20">From Amazon.com</a><img src="http://ir-na.amazon-adsystem.com/e/ir?t=adamchli-20&l=as2&o=1&a=0262026651" width="1" height="1" border="0" alt="" style="border:none !important; margin:0px !important;" /><br/>
24 <a href="http://mitpress.mit.edu/books/certified-programming-dependent-types">The MIT Press page for the book</a> 24 <a href="http://mitpress.mit.edu/books/certified-programming-dependent-types">The MIT Press page for the book</a><br/>
25 <b>ISBN:</b> 9780262026659
25 </ul> 26 </ul>
26 </div> 27 </div>
27 28
28 <div class="project"> 29 <div class="project">
29 <h2>Distribution Formats (free version)</h2> 30 <h2>Distribution Formats (free version)</h2>