Logiweb pages of user mrmr

hello world
append
factorial
propositional calculus---never really made it!
peano-commutativity ---showing the law of commutativity of addition
peano---new peano page avoiding succ errors

Martin Røpcke, 2005-05-18