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

by: Morten Heine Sørensen M.Sc Ph.D · Pawel Urzyczyn prof. dr hab.

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-444-52077-7

ISBN-10: 0-444-52077-5

Elsevier Science · 2006