Logic of Programs (Lecture Notes in Computer Science)
by
E. Engeler
Paperback
details (
USA
).
ISBN: 978-0-387-11160-5
ISBN-10: 0-387-11160-3
Springer Verlag
· 1982