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