Symbolic Logic:Programming:Framework en Text text/html http://knowino.org/wiki/Symbolic_Logic:Programming:Framework 2011-09-11 Peter Driscoll