Computation and Proof Theory (Lecture Notes in Mathematics)

Computation

by M. M. Richter

Paperback

details (USA).

ISBN: 978-0-387-13901-2

ISBN-10: 0-387-13901-X

Springer Verlag · 1985