Edinburgh LCF: A mechanised logic of computation (Lecture notes in computer science)

mechanised

by Michael J. C Gordon

Paperback

details (United States).

ISBN: 978-0-387-09724-4

ISBN-10: 0-387-09724-4

Springer-Verlag · 1979