PlanetMath:

(more info)

Math for the people, by the people.

donor list - find out how

Main Menu

Encyclopedia by subject

03B35 - Mathematical logic and foundations :: General logic :: Mechanization of proofs and logical operations

ampheck owned by Jon Awbrey inference rule owned by rspuzio logical graph : formal development owned by Jon Awbrey logical graph : introduction owned by Jon Awbrey modus ponens owned by CWoo modus tollens owned by rspuzio Peirce's law owned by Jon Awbrey praeclarum theorema owned by Jon Awbrey sole sufficient operator owned by Jon Awbrey
Show empty categories:
[ up \| top ]