Title: Axiomatising the Logic of Computer Programming R. Goldblatt Paperback Springer N. Author: R. Goldblatt. Binding: Paperback New Book.
eBay