Talk:Bar induction

From Wikipedia, the free encyclopedia

You have new messages (last change).
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics.
Mathematics grading: Start Class Low Importance  Field: Foundations, logic, and set theory

Needs general expansion, motivation, examples. Tompw 16:02, 20 November 2006 (UTC)
Retrieved from "http://en.wikipedia.org../../../b/a/r/Talk%7EBar_induction_1821.html"