a masters thesis on formal learing theory

root

learnability theory

need to test branches