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: |