RSS

AxiomWriter(Jessica Bushnaq)

Karma: −8

mathematican

main interest: building axiom sytems

especially building mathematically equivalent systems out of different definitions and axioms

www.relationalgeometry.de