17 Oct
2007
17 Oct
'07
9:34 a.m.
Very clear tutorial indeed. But why isn't propCC shown as Pierce's Law? And Excluded middle is proven on such basis. Vitaliy.