April 2005 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Tue Apr 5 11:02:43 EDT 2005
Ending: Sat Apr 30 10:14:33 EDT 2005
Messages: 26

• [FOM] Enumerations   Studtmann, Paul
• [FOM] when did set theory prevail   A.J. Franco de Oliveira
• [FOM] REMINDER: ICCL Summer School: Logic-based Knowledge Representation   Bertram Fronhoefer
• [FOM] alleged quote from Hilbert   Martin Davis
• [FOM] alleged quote from Hilbert   Jeffrey Ketland
• [FOM] alleged quote from Hilbert   Les Schaffer
• [FOM] alleged quote from Hilbert   Roger Bishop Jones
• [FOM] CiE 2005: Call for Participation   S B Cooper
• [FOM] alleged quote from Hilbert   Richard Zach
• [FOM] alleged Hilbert quote   Martin Davis
• [FOM] alleged quote from Hilbert   Vladimir Sazonov
• [FOM] alleged quote from Hilbert   Richard Heck
• [FOM] Alleged quote from Hilbert (Martin Davis)   John Corcoran
• [FOM] alleged quote from Hilbert   John McCarthy
• [FOM] PHINEWS / PHILOG Bulletin, April 2005   Vincent F. Hendricks
• [FOM] research positions 2005-8   Carlos Martin-Vide
• [FOM] Lecture Abstracts   Harvey Friedman
• [FOM] moderator will be away   Martin Davis
• [FOM] Help please on Friedman post.   Bill Taylor
• [FOM] CCA 2005 - Third Call for Papers   Peter Hertling
• [FOM] Question on Infinite Sequences of Ordinals   Dmytro Taranovsky
• [FOM] workshop on implemented classical logic programs   martin at eipye.com
• [FOM] independence of extensionality   Thomas Forster
• [FOM] The independence of Extensionality   Ali Enayat
• [FOM] indepence and consistency results of set theory   F.A.Muller
• [FOM] indepence and consistency results of set theory   Matt Insall

Last message date: Sat Apr 30 10:14:33 EDT 2005
Archived on: Mon May 2 00:10:18 EDT 2005

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...