February 2011 Archives by thread

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

Starting: Tue Feb 1 14:21:44 EDT 2011
Ending: Sun Feb 27 18:54:51 EDT 2011
Messages: 40

• [FOM] Lukasiewicz theorem   James T. Smith
• [FOM] LICS Newsletter 130   Stephan Kreutzer
• [FOM] Workshop Announcement: Domains X   Ulrich Berger
• [FOM] Summer Schools in Logic and Philosophy?   Richard Heck
  • [FOM] Summer Schools in Logic and Philosophy?   Michael Pershan
  • [FOM] Summer Schools in Logic and Philosophy?   Kenny Easwaran
• [FOM] 454: Three Milestones in Incompleteness   Harvey Friedman
  • [FOM] 454: Three Milestones in Incompleteness   Paul Budnik
• [FOM] Call for submissions: "Types for Proofs and Programs"   henk
• [FOM] First CFP Methods for Modalities (M4M7)   David Fernández Duque
• [FOM] CFP: Workshop on Theory and Practice of Delimited Continuations   Noam Zeilberger
• [FOM] Book on the history of logic?   Staffan Angere
  • [FOM] Book on the history of logic?   Andres Caicedo
    • [FOM] Book on the history of logic?   Panu Raatikainen
  • [FOM] Book on the history of logic?   Sara L. Uckelman
  • [FOM] Book on the history of logic?   Sara Negri
  • [FOM] Book on the history of logic?   Chris Gray
  • [FOM] Book on the history of logic?   mario chiari
  • [FOM] Book on the history of logic?   Richard Zach
• [FOM] Book on the history of logic?   A J Franco de Oliveira
• [FOM] Book on the history of logic?   Irving
• [FOM] Book on the history of logic   Sam Sanders
  • [FOM] Induction, cut, and normalization   Panu Raatikainen
    • [FOM] Induction, cut, and normalization   William Tait
    • [FOM] Induction, cut, and normalization   Sara Negri
  • [FOM] Book on the history of logic   Sara L. Uckelman
• [FOM] Book on the history of logic   Irving
• [FOM] Set Theory and Higher-Order Logic (London, August 1-6)   Sean Walsh
• [FOM] IJCAI-11 Workshop ARCOE (deadline: 6 April)   Ivan José Varzinczak
• [FOM] Special Issue of JWS: Reasoning with Context in the Semantic Web   Ivan José Varzinczak
• [FOM] Induction, cut, and normalization   Jeffrey Sarnat
• [FOM] 455: The Quantifier "most"   Harvey Friedman
• [FOM] The Arithmetical Program   Frode Bjørdal
• [FOM] 456: The Quantifiers "majority/minority"   Harvey Friedman
• [FOM] CiE Newsletter No.44, February 23, 2011   by way of Martin Davis <eipye at pacbell.net>
• [FOM] The Arithmetical Program - An Addendum   Frode Bjørdal
• [FOM] Registration open: 23rd European Summer School in Logic, Language and Information   Esslli Ljubljana
• [FOM] Oberwolfach Seminar: New trends in G"odelian Incompleteness and Combinatorics   Andreas Weiermann
• [FOM] [ATY] Alan Turing Year update, February 2011   S Barry Cooper
• [FOM] Concrete Mathematical Incompleteness/articles   Harvey Friedman

Last message date: Sun Feb 27 18:54:51 EDT 2011
Archived on: Mon Feb 28 00:01:03 EDT 2011

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