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