Logiweb pages of user ahvam

Up

hello world
factorial
append
propositional calculus
peano - fixes TeX face of peano succ and peano not - proofs removed
logic - proves commutativity of addition in peano arithmetic [final]

Allan Hvam Petersen, 2005-07-04