Fork me on GitHub
Math for the people, by the people.

User login

well-founded recursion

Type of Math Object: 
Theorem
Major Section: 
Reference
Groups audience: 

Mathematics Subject Classification

03E10 no label found03E45 no label found

Subscribe to Comments for "well-founded recursion"