Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics)

Preis 134.86 - 157.63 USD

EAN/UPC/ISBN Code 9780444520777
Marke Elsevier Ltd
Autor
Pagina 456
Jahr 2006