Lambda the Ultimate Weblog Topics
Last Updated 07/28/2010

Posts By: Chris Martens

  Date    Post    Topic  
07/03/2010"gaming the logic"An intuitionistic logic that proves Markov's principle

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