for some x (p(x)), new v|-p(v), and( s(x)(v) )
Gives much simpler proofs
Proved to be as complete and consistent as the original
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]