PlanetMath:

(more info)

Math for the people, by the people.

Main Menu

Encyclopedia by subject

03F07 - Mathematical logic and foundations :: Proof theory and constructive mathematics :: Structure of proofs

circular reasoning owned by Wkbj79 contradiction owned by Wkbj79 converse owned by pahio existential theorem owned by Wkbj79 fix owned by Wkbj79 induction owned by Daume necessary and sufficient owned by Wkbj79 techniques in mathematical proofs owned by CWoo universal assumption owned by Wkbj79
Show empty categories:
[ up \| top ]