Lambda the Ultimate Weblog Topics
Last Updated 08/02/2008

Posts By: heckenpenner

  Date    Post    Topic  
02/27/2008Correspondence to known sets of axioms for the natural numbers?Pure, Declarative, and Constructive Arithmetic Relations

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive


Chris Rathman/ Chris.Rathman@tx.rr.com