You are about to access our book library "R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution) full version" .