February 2011 Archives by subject
Starting: Tue Feb 1 14:21:44 EDT 2011
Ending: Sun Feb 27 18:54:51 EDT 2011
Messages: 40
- [FOM] 454: Three Milestones in Incompleteness
Harvey Friedman
- [FOM] 454: Three Milestones in Incompleteness
Paul Budnik
- [FOM] 455: The Quantifier "most"
Harvey Friedman
- [FOM] 456: The Quantifiers "majority/minority"
Harvey Friedman
- [FOM] [ATY] Alan Turing Year update, February 2011
S Barry Cooper
- [FOM] Book on the history of logic
Sam Sanders
- [FOM] Book on the history of logic
Irving
- [FOM] Book on the history of logic
Sara L. Uckelman
- [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?
A J Franco de Oliveira
- [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?
Irving
- [FOM] Book on the history of logic?
Richard Zach
- [FOM] Call for submissions: "Types for Proofs and Programs"
henk
- [FOM] CFP: Workshop on Theory and Practice of Delimited Continuations
Noam Zeilberger
- [FOM] CiE Newsletter No.44, February 23, 2011
by way of Martin Davis <eipye at pacbell.net>
- [FOM] Concrete Mathematical Incompleteness/articles
Harvey Friedman
- [FOM] First CFP Methods for Modalities (M4M7)
David Fernández Duque
- [FOM] IJCAI-11 Workshop ARCOE (deadline: 6 April)
Ivan José Varzinczak
- [FOM] Induction, cut, and normalization
Panu Raatikainen
- [FOM] Induction, cut, and normalization
William Tait
- [FOM] Induction, cut, and normalization
Sara Negri
- [FOM] Induction, cut, and normalization
Jeffrey Sarnat
- [FOM] LICS Newsletter 130
Stephan Kreutzer
- [FOM] Lukasiewicz theorem
James T. Smith
- [FOM] Oberwolfach Seminar: New trends in G"odelian Incompleteness and Combinatorics
Andreas Weiermann
- [FOM] Registration open: 23rd European Summer School in Logic, Language and Information
Esslli Ljubljana
- [FOM] Set Theory and Higher-Order Logic (London, August 1-6)
Sean Walsh
- [FOM] Special Issue of JWS: Reasoning with Context in the Semantic Web
Ivan José Varzinczak
- [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] The Arithmetical Program
Frode Bjørdal
- [FOM] The Arithmetical Program - An Addendum
Frode Bjørdal
- [FOM] Workshop Announcement: Domains X
Ulrich Berger
Last message date:
Sun Feb 27 18:54:51 EDT 2011
Archived on: Mon Feb 28 00:01:03 EDT 2011
This archive was generated by
Pipermail 0.09 (Mailman edition).