October 2012 Archives by author

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

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

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