Computation and Deduction

by Frank Pfenning

Hardcover

ISBN: 978-0-521-77265-5

ISBN-10: 0-521-77265-6

Cambridge University Press · June 2020