December 2008 Archives by date

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

Starting: Tue Dec 2 18:25:27 EDT 2008
Ending: Wed Dec 31 01:29:45 EDT 2008
Messages: 55

• [FOM] [CiE] CiE Newsletter, December 2008   S B Cooper
• [FOM] [CiE] CiE Newsletter, December 2008 - late item   S B Cooper
• [FOM] Conference on Philosophy and Foundations of Mathematics, May 5-8, 2009 at SCAS, Uppsala   palmgren at math.uu.se
• [FOM] Logic and Mathematics - First announcement   by way of Martin Davis <martin at eipye.com>
• [FOM] Understanding Euclid   Vaughan Pratt
• [FOM] Understanding Euclid   William Tait
• [FOM] Understanding Euclid   Michael J Barany
• [FOM] Understanding Euclid   Vaughan Pratt
• [FOM] FOM Understanding Euclid   Colin McLarty
• [FOM] Understanding Euclid   Alasdair Urquhart
• [FOM] TMFCS-09 call for papers   John Edward
• [FOM] FOM Understanding Euclid   Vaughan Pratt
• [FOM] Understanding Euclid   William Tait
• [FOM] Understanding Euclid   Jeremy Avigad
• [FOM] BEST 2009   Andres Caicedo
• [FOM] FOM Understanding Euclid   Colin McLarty
• [FOM] Understanding Euclid   Michael Barany
• [FOM] ACL2 2009: Second Call For Papers   Sandip Ray
• [FOM] FOM Understanding Euclid   George McNulty
• [FOM] 2 questions   William Everett Piper
• [FOM] TABLEAUX 2009: Second CfP   Viorica Sofronie-Stokkermans
• [FOM] Apal spec. issue - Constructive Topology - G. Sambin 60   Maria Emilia Maietti
• [FOM] Foundational Adventures: Conference in Honor of Harvey M. Friedman, May 14-17, 2009   Neil Tennant
• [FOM] Understanding Euclid   Vaughan Pratt
• [FOM] Understanding Euclid   Antonino Drago
• [FOM] New book on proof theory   Prof. Dr. Wolfram Pohlers
• [FOM] [CiE] CiE Newsletter No. 2, December 2008   S B Cooper
• [FOM] Logic and Dynamical Systems   Stephen G Simpson
• [FOM] FroCoS'09 Call for Papers   Roberto Sebastiani
• [FOM] CiE 2009, Heidelberg, Germany, 19-24 July 2009 - Second Call for Papers   S B Cooper
• [FOM] The Reasoner 3(1) available to download   Jon Williamson
• [FOM] CCA 2009 First Call for Papers and Announcement   Peter Hertling
• [FOM] Logic and Dynamical Systems   Jon Awbrey
• [FOM] [CiE] Newsletter No.2, December 2008 - late item   S B Cooper
• [FOM] CADE-22 second call for papers   Carsten Schuermann
• [FOM] PhD positions in ICT on Formal Verification via SMT available in Trento   Roberto Sebastiani
• [FOM] Principia Mathematica 1st Edition   Steven Ericsson-Zenith
• [FOM] Anthology: Logicism, Intuitionism, and Formalism - What Has Become of Them?   palmgren at math.uu.se
• [FOM] CFP: The Shortest Universal Turing Machine Implementation Contest   Hector Zenil C.
• [FOM] CFP: 6th workshop on "Methods for Modalities" (M4M-6)   Thomas Bolander
• [FOM] Logic and Dynamical Systems   Andre Platzer
• [FOM] 4th CFP for TAMC 2009   S B Cooper
• [FOM] Brouwer on mathematical operations   Lucius Schoenbaum
• [FOM] Brouwer on mathematical operations   Vaughan Pratt
• [FOM] Hall's theorem   Andrej Bauer
• [FOM] LICS 2009 Second Call for Papers   Stephan Kreutzer
• [FOM] Brouwer on mathematical operations: operationalism in mathematics   T.Forster at dpmms.cam.ac.uk
• [FOM] Brouwer on mathematical operations: operationalism in mathematics   Vaughan Pratt
• [FOM] Brouwer on mathematical operations   josef at us.es
• [FOM] Brouwer on mathematical operations   MICHAEL MURPHY
• [FOM] TMFCS-09 call for papers   John Edward
• [FOM] Hall's theorem   Stephen Cook
• [FOM] r.e. Hall's Theorem   Jeff Hirst
• [FOM] Hall's theorem   Timothy Y. Chow
• [FOM] PSI 2009 Call For Papers   Perspectives of System Informatics

Last message date: Wed Dec 31 01:29:45 EDT 2008
Archived on: Wed Dec 31 17:54:06 EDT 2008

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