September 2008 Archives by thread

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

Starting: Mon Sep 1 06:55:32 EDT 2008
Ending: Tue Sep 30 16:50:36 EDT 2008
Messages: 36

• [FOM] Finite axiomatisation   praatika at mappi.helsinki.fi
• [FOM] MWPMW 9. Final Call for Papers   Michael Detlefsen
• [FOM] Book Draft   Stephen Cook
• [FOM] ZF versus subsystems of Z_2   Timothy Y. Chow
• [FOM] use of physical intuition and knowledge may lead to a breakthorugh in proving Riemann Hypothesis   Kreinovich, Vladik
• [FOM] New Association Computability in Europe formed   S B Cooper
• [FOM] Springer Book: Modular Averager-Case Time Analysis   Michel Schellekens
• [FOM] First edition of The Russell-Whitehead Principia   T.Forster at dpmms.cam.ac.uk
  • [FOM] First edition of The Russell-Whitehead Principia   Thomas Forster
  • [FOM] First edition of The Russell-Whitehead Principia   Allen Hazen
  • [FOM] First edition of The Russell-Whitehead Principia   Edwin Mares
  • [FOM] First edition of The Russell-Whitehead Principia   Charles Parsons
• [FOM] Second Cambridge Graduate Conference on the Philosophy of Logic and Mathematics   Florian Steinberger
• [FOM] Another historical query   Thomas Forster
  • [FOM] Another historical query   Akihiro Kanamori
  • [FOM] Another historical query   Charles Parsons
• [FOM] Principia Mathematica, first edition: Melbourne   Allen Hazen
• [FOM] JUCS Special Issue CCA 2008: First Call for Papers   Vasco Brattka
• [FOM] Arche project on logical consequence   Stewart Shapiro
• [FOM] ZF versus subsystems of Z_2   Ali Enayat
• [FOM] J. Robinson's dissertation   Andrew Arana
• [FOM] SYMPOSIUM LFCS'09: Last Call for Papers   Sergei Artemov
• [FOM] logic position at UIC   Dave Marker
• [FOM] ordinals   G Aldo Antonelli
• [FOM] ZF versus subsystems of Z_2   Timothy Y. Chow
  • [FOM] ZF versus subsystems of Z_2   Alberto Marcone
  • [FOM] ZF versus subsystems of Z_2   friedman at math.ohio-state.edu
• [FOM] ZF versus subsystems of Z_2   Ali Enayat
• [FOM] new book announcement   Apostolos Syropoulos
• [FOM] KEAPPA - knowledge exchange for automated reasoning   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] Question on Axioms for FP-Arithmetic   A. Mani
• [FOM] Question on Axioms for FP-Arithmetic   Steve Stevenson
• [FOM] Constructive Topology - Workshop G. Sambin 60   Peter Schuster
• [FOM] CFP: PSI2009 Perspectives of System Informatics   Perspectives of System Informatics
• [FOM] The Reasoner 2(10) available for download   Jon Williamson
• [FOM] LPAR short papers and participation   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>

Last message date: Tue Sep 30 16:50:36 EDT 2008
Archived on: Tue Sep 30 18:08:19 EDT 2008

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