Home Discussions10 of 423 messages view all » Axioms for addition By Jeremy Weissmann - Mar 21 - 1 author - 2 replies Fwd: Algorithm derivation By Jeremy Weissmann - Mar 8 - 1 author - 0 replies A logical conundrum on ordered sets. By Jamie Oglethorpe - Mar 6 - 3 authors - 10 replies [mathmeth] Re: "Relational calculus and relational program semantics" by R.M. Dijkstra By Eldrid Rensburg - Feb 15 - 8 authors - 13 replies [mathmeth] Predicate Calculus Vs. Relational Calculus By Marnix Klooster - Feb 14 - 4 authors - 6 replies Jamie Oglethorpe introduces himself By Johann Drexl - Jul 26 2011 - 5 authors - 4 replies Reference to an EWD By Jamie Oglethorpe - Jul 11 2011 - 2 authors - 1 reply [mathmeth] Re: An experiment in top-down problem solving By Jeremy Weissmann - Jun 26 2011 - 9 authors - 60 replies João! By Jeremy Weissmann - Jun 24 2011 - 3 authors - 3 replies A little graph theory (The Handshaking Lemma) By Jeremy Weissmann - Jun 24 2011 - 1 author - 0 replies Report this group   XML       Send email to this group: calculational-mathematics@googlegroups.com