by Robert Goldblatt
Paperback
ISBN: 978-0-387-11210-7
ISBN-10: 0-387-11210-3
Springer Verlag · 1982
|
|
by Robert GoldblattPaperback
ISBN: 978-0-387-11210-7 ISBN-10: 0-387-11210-3 Springer Verlag · 1982 |
| See also (possibly by other authors): | ||
| 2008 | Taschenbuch | Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, Band 130) |