Explore the latest books of this year!
Bookbot

Robert Goldblatt

    Axiomatising the Logic of Computer Programming