User blog comment:Ikosarakt1/Fast-growing hierarchy/@comment-157.193.53.9-20130620180435/@comment-5529393-20130628235923

I see, thanks!

That book looks like it has tons of interesting stuff. Unfortunately, once people start discussing formal systems I tend to get lost; I'm not well grounded in logic.