Symbolic Logic:Programming:Language Transformations en Text text/html http://knowino.org/wiki/Symbolic_Logic:Programming:Language_Transformations 2011-10-22 Peter Driscoll