CURRENTLY SOLD OUT

Axiomatising the Logic of Computer Programming by R. Goldblatt (Paperback, 1982)