October 2010 Archives by date

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

Starting: Sat Oct 2 07:18:25 EDT 2010
Ending: Fri Oct 29 15:28:48 EDT 2010
Messages: 37

• [FOM] International Conference: History and Philosophy of Computing, Gent, 7-10/11/2011   gprimiero at libero.it
• [FOM] Postdoctoral position at Carnegie Mellon   Jeremy Avigad
• [FOM] EFA/PA correspondence as to FLT (fwd)   Timothy Y. Chow
• [FOM] Call for Submissions Kurt Goedel Research Prize Fellowships   Vesna Sabljakovic-Fritz
• [FOM] LICS Newsletter 128   Stephan Kreutzer
• [FOM] EFA/PA correspondence as to FLT   Colin McLarty
• [FOM] Logical Status of FLT   Harvey Friedman
• [FOM] EFA/PA correspondence as to FLT   Colin McLarty
• [FOM] EFA/PA correspondence   Nik Weaver
• [FOM] An Open Response to the USPTO -- Physical Aspects of Mathematics   Paul Elliott
• [FOM] Tableaux 2011 First Call for Papers   Viorica Sofronie-Stokkermans
• [FOM] Moore on modality   Michael Carroll
• [FOM] Moore on modality   Roger Bishop Jones
• [FOM] Moore on modality   T.Forster at dpmms.cam.ac.uk
• [FOM] 442: Kernel Structure Theory Restated   Harvey Friedman
• [FOM] Moore on modality   Bob Clark
• [FOM] Grothendieck foundations: injectives without transfinite induction   Colin McLarty
• [FOM] Moore on modality   Richard Heck
• [FOM] cartoon   Hendrik Boom
• [FOM] CfP: Special Issue APAL on "Classical Logic and Computation"   Ulrich Berger
• [FOM] Paris-Nancy PhilMath Workshop (information from Sebastien Gandon)   Martin Davis
• [FOM] strong arithmetical theorems?   Panu Raatikainen
• [FOM] strong arithmetical theorems?   Panu Raatikainen
• [FOM] [CiE] Newsletter No.40, October 18, 2010   CiE
• [FOM] 443: Kernels and Large Cardinals 1   Harvey Friedman
• [FOM] is logic universal?   jean-yves beziau
• [FOM] is logic universal?   Vaughan Pratt
• [FOM] MWPMW 11. Program   Michael Detlefsen
• [FOM] Question on an old Paper in Set Theory_   A. Mani
• [FOM] Mathematical knowledge management, type theory, and automatic proof   Jeremy Bem
• [FOM] Question on an old Paper in Set Theory_   Alasdair Urquhart
• [FOM] : Question of an old paper in Set Theory   Irving
• [FOM] Herbert B. Enderton (1936-2010)   jean-yves beziau
• [FOM] Pre-publication and publication.   Peter Cholak
• [FOM] Herbert B. Enderton (1936-2010)   Panu Raatikainen
• [FOM] Herb Enderson   hdeutsch at ilstu.edu
• [FOM] Herb Enderton   George McNulty

Last message date: Fri Oct 29 15:28:48 EDT 2010
Archived on: Sat Oct 30 01:10:47 EDT 2010

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