Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Well Founded Relations and Recursion Roger Bishop Jones
Add to Reading List
Document Date: 2012-09-28 15:44:05
Open Document
File Size: 350,90 KB
Share Result on Facebook
OperatingSystem
Gnu /
/
Person
Tobias Nipkow /
Roger Bishop Jones /
/
RadioStation
WFCV /
/
URL
http /
SocialTag
Transitive closure
Function
FO
Binary relation
Constructible universe
Recursion
Transitivity
Mathematics
Mathematical logic
Well-founded relation