Back to Results
First PageMeta Content
Transitive closure / Function / FO / Binary relation / Constructible universe / Recursion / Transitivity / Mathematics / Mathematical logic / Well-founded relation


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