Book/Refinement Calculus: A Systematic Introduction

From PKC
Revision as of 03:27, 27 January 2023 by Benkoo2 (talk | contribs)
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. 


Currently your browser does not use a PDF plugin. You may however download the PDF file instead.

References


Related Pages