Book/Refinement Calculus: A Systematic Introduction

From PKC

Revision as of 03:06, 27 January 2023 by Benkoo2 (talk | contribs) (Benkoo2 moved page Book/Refinment Calculus: A Systematic Introduction to Book/Refinement Calculus: A Systematic Introduction)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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"