PlanetMath:

(more info)

Math for the people, by the people.

Main Menu

Encyclopedia by subject

03F03 - Mathematical logic and foundations :: Proof theory and constructive mathematics :: Proof theory, general

$\mathcal{NJ}p$ owned by Henry $\mathcal{NK}p$ owned by Henry definable owned by CWoo logical implication owned by Jon Awbrey Löb's theorem owned by dankomed natural deduction owned by Henry propositional calculus owned by Jon Awbrey sequent owned by Henry sound, complete owned by Henry
Show empty categories:
[ up \| top ]