November 2008 Archives by subject

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

Starting: Sat Nov 1 14:26:21 EDT 2008
Ending: Sat Nov 29 14:03:50 EDT 2008
Messages: 29

• [FOM] 2009 ESSLLI Student Session Call for Papers   Thomas Icard
• [FOM] [CiE] PhD vacancy   S B Cooper
• [FOM] CfP: Special Issue on "Classical Logic and Computation"   Ulrich Berger
• [FOM] classification of finite simple groups   Michael J Barany
• [FOM] classification of finite simple groups   joeshipman at aol.com
• [FOM] classification of finite simple groups   Francis Davey
• [FOM] dialectica special issue on Gödel's dialect ica interpretation   Philipp Keller
• [FOM] finite simple groups: no rumor known to me (fwd)   John Baldwin
• [FOM] finite simple groups: no rumor known to me (fwd)   Timothy Y. Chow
• [FOM] FOM BUFFALO LOGIC COLLOQUIUM 3RD 2008-9   John Corcoran
• [FOM] FOM BUFFALO LOGIC COLLOQUIUM 3RD 2008-9   Thomas Forster
• [FOM] FOM BUFFALO LOGIC COLLOQUIUM 4TH 2008   John Corcoran
• [FOM] FW: Turing Centenary in 2012   Kreinovich, Vladik
• [FOM] Fwd: Re: JRNL: Goedel's dialectica interpretation   T.Forster at dpmms.cam.ac.uk
• [FOM] mental illness and FOM (was: Question)   hendrik at topoi.pooq.com
• [FOM] New axiom dichotomy   joeshipman at aol.com
• [FOM] Nomenclature - logical formulas and term   John Baldwin
• [FOM] Nomenclature - logical formulas and term   Thomas Forster
• [FOM] Nomenclature - logical formulas and term   Gianluigi Oliveri
• [FOM] PhD's in Logic   Michiel De Smet
• [FOM] Question   Charles Silver
• [FOM] Question   William Tait
• [FOM] Question   Timothy Y. Chow
• [FOM] Question   giuseppina.ronzitti at helsinki.fi
• [FOM] Question   Vaughan Pratt
• [FOM] System Announcement: ProofWeb   Freek Wiedijk
• [FOM] tenure-track position   Don Monk
• [FOM] The Reasoner 2(12) available to download   Jon Williamson
• [FOM] Truth and natural numbers   Arne Hole

Last message date: Sat Nov 29 14:03:50 EDT 2008
Archived on: Sat Nov 29 16:19:51 EDT 2008

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