October 2012 Archives by thread

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

Starting: Mon Oct 1 00:12:42 EDT 2012
Ending: Wed Oct 31 03:19:07 EDT 2012
Messages: 48

• [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?   Dominic Hughes
  • [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?   Timothy Y. Chow
    • [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?   Vaughan Pratt
• [FOM] The Derivability Conditions   Peter Smith
  • [FOM] The Derivability Conditions   Panu Raatikainen
• [FOM] : The Derivability Conditions   john bell
• [FOM] surjection from S^2 onto Pow(S)   Harvey Friedman
  • [FOM] surjection from S^2 onto Pow(S)   Marco Forti
• [FOM] Concept Calculus: universes   Harvey Friedman
• [FOM] surjection from S^2 onto Pow(S), CORRECTION   Harvey Friedman
• [FOM] The Derivability Conditions, Again   Harry Deutsch
  • [FOM] The Derivability Conditions, Again   Richard Heck
• [FOM] IMLA 2013 - 1st call for papers   Valeria de Paiva
• [FOM] Rio de Janeiro 2013 - World event on Universal Logic   UNILOG 2013
• [FOM] [LICS] LICS Newsletter 139   Andrzej Murawski
• [FOM] Reprinting the classics   Sam Sanders
  • [FOM] Reprinting the classics   Colin McLarty
  • [FOM] Reprinting the classics   Timothy Y. Chow
    • [FOM] Reprinting the classics   Roger Bishop Jones
      • [FOM] Reprinting the classics   Timothy Y. Chow
      • [FOM] Reprinting the classics   Sara L. Uckelman
    • [FOM] Reprinting the classics   Jon Awbrey
  • [FOM] Reprinting the classics   Jaap van Oosten
    • [FOM] Reprinting the classics   Andrej Bauer
      • [FOM] Reprinting the classics   Colin McLarty
  • [FOM] Reprinting the classics   Irving Anellis
    • [FOM] Reprinting the classics   A J Franco de Oliveira
      • [FOM] Reprinting the classics   T.Forster at dpmms.cam.ac.uk
      • [FOM] Reprinting the classics   elliott mendelson
      • [FOM] Reprinting the classics   A J Franco de Oliveira
  • [FOM] Reprinting the classics   Hendrik Boom
• [FOM] Announcement   Craig Smorynski
• [FOM] 8th International Computer Science Symposium in Russia (CSR 2013) - Call for Papers   Kreutzer, Stephan
  • [FOM] 8th International Computer Science Symposium in Russia (CSR 2013) - Call for Papers   by way of Martin Davis <martin at eipye.com>
• [FOM] 503: Proper Classes of Relations   Harvey Friedman
• [FOM] 504: Embedded Maximal Cliques 6   Harvey Friedman
• [FOM] LATA 2013: 3rd call for papers   GRLMC
• [FOM] Natural Topology revised edition (and 100 years since `Intuitionism and Formalism´)   frank waaldijk
• [FOM] CiE Newsletter No.62, October 15, 2012   Olivier Bournez
• [FOM] Tenure track position at Kansas State University   Salvatore Florio
  • [FOM] NF 76 in Cambridge, March 2013   T.Forster at dpmms.cam.ac.uk
• [FOM] concerning surjection from S^2 onto Pow(S)   Harvey Friedman
  • [FOM] concerning surjection from S^2 onto Pow(S)   pax0 at seznam.cz
• [FOM] 505: Function Transfer Theory   Harvey Friedman
• [FOM] 506: Finite Embedded Weakly Maximal Cliques   Harvey Friedman
• [FOM] Job posting at University of Connecticut   Reed Solomon
• [FOM] TAP 2013: 1st Call for Papers   Achim D. Brucker
• [FOM] Asia logic conference   Martin Davis

Last message date: Wed Oct 31 03:19:07 EDT 2012
Archived on: Wed Oct 31 04:48:31 EDT 2012

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