Equational Logic as a Programming Language (Foundations of Computing)

Programming

by Michael J. O'Donnell

Hardcover

details (USA).

ISBN: 978-0-262-15028-6

ISBN-10: 0-262-15028-X

The MIT Press · 1985