Proof Theory

view on wiki.c2.com

last modified: December 21, 2003

See http://en.wikipedia.org/wiki/Proof_theory

Also see ModelTheory, TheoremProving and ProofOfCorrectness.

I am open-source

Loading...