Difference between revisions of "Book/Refinement Calculus: A Systematic Introduction"

From PKC
Jump to navigation Jump to search
(No difference)

Revision as of 03:06, 27 January 2023

Back, Ralph-Johan; von Wright, Joakim (Dec 31, 1997). Refinment Calculus: A Systematic Introduction (Draft ed.). local page: Ralph-Johan Back and Joakim von Wright. 


References


Related Pages


Retrieved from "https://pkc.pub/index.php?title=Book/Refinement_Calculus:_A_Systematic_Introduction&oldid=38028"