Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.6 (D30)

First Page		Document Content
Date: 2007-11-13 07:23:59 Logic Philosophy Academia Auguste Rodin Rodin Axiom Theorem ETH Zurich Mathematical proof Mathematics		Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable 3.6 (D30) Add to Reading List Source URL: rodin.cs.ncl.ac.uk Download Document from Source Website File Size: 1,62 MB Share Document on Facebook