Tomeki

Explore Books on
axiomatisation

1-1 of 1 Books

View Axiomatising the logic of computer programming By Robert Goldblatt
Cover of Axiomatising the logic of computer programming by robert goldblatt

Axiomatising the logic of computer programming

By Robert Goldblatt