Logic of Programming (Prentice-hall International Series in Computer Science)
by
Eric C. R. Hehner
Hardcover
details (
USA
).
ISBN: 978-0-13-539966-8
ISBN-10: 0-13-539966-1
Prentice Hall
· 1985