page created
link to rule of inference
definition
rlues of inference
axiom schemata
linear proof
moving linear proof
linear proof
extracting axiom schema
page created
page created
correction
page created
page created
page created
links instead of inline schemata
page created
propositional logic
structured proof
II