Talk:Symbolic Logic:Programming:Value Set Proof
From Knowino
Proofs not complete yet. Having some trouble.
What I am proving doesnt prove the actual result. Yuck. Thepigdog 04:45, 30 June 2011 (EDT)