Reviews matching “Axiomatising the logic of computer programming”

1 result

BookAuthorReviewerJournalDate
Axiomatising the logic of computer programming Robert Goldblatt Mitchell Wand The Journal of Symbolic Logic 1985

Open this search with filters