Proof, language, and interaction
edited by Gordon Plotkin, Colin Stirling, and Mads Tofte
MIT Press
9780262161886
0-262-16188-5
| BOOKSTORE | TOTAL | ||
|---|---|---|---|
| {{condition}} | {{price}} + {{shipping}} s/h | ||
| This book is currently reported out of stock for sale, but WorldCat can help you find it in your local library: | |||