Logics of Programs (Lecture Notes in Computer Science)
by
Rohit Parikh
Paperback
details (
USA
).
ISBN: 978-0-387-15648-4
ISBN-10: 0-387-15648-8
Springer Verlag
· 1985
