logic

• 2010-01-07T03:59:02Z: Constructive Classical Completeness
• 2009-11-01T23:12:01Z: Believing In-Consistency
• 2009-02-18T02:50:48Z: James R Meyer vs Kurt Gödel
• 2006-09-04T17:54:00Z: Constructive Logic Is an Extension of Classical Logic
• 2006-08-01T13:42:00Z: C.e. sets
• 2006-05-08T17:40:00Z: ZFC + Woodin Cardinals Consistent
• 2006-04-30T11:16:00Z: Length of Proofs
• 2006-03-15T09:44:00Z: Putting the Logical in Topological
• 2005-12-16T12:52:00Z: Penguin Logic
• 2005-06-04T14:38:00Z: Intensional vs Extensional Choice