First Page | Document Content | |
---|---|---|
Date: 2012-09-28 15:44:05Transitive closure Function FO Binary relation Constructible universe Recursion Transitivity Mathematics Mathematical logic Well-founded relation | Well Founded Relations and Recursion Roger Bishop JonesAdd to Reading ListSource URL: www.rbjones.comDownload Document from Source WebsiteFile Size: 350,90 KBShare Document on Facebook |