Book/Refinement Calculus: A Systematic Introduction

From PKC

Revision as of 03:26, 27 January 2023 by Benkoo2 (talk | contribs)

(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.

File:Backwright98refinementcalculus.pdf

References

Related Pages

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