Recursion Theorem for Well-Founded Relations as Properties

<body><a href="WfRecp-m.html">Recursion Theorem for Well-Founded Relations as Properties</a> (for noframe browsers) </body>