August 2008 Archives by author

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

Starting: Fri Aug 1 11:30:52 EDT 2008
Ending: Tue Aug 26 19:04:22 EDT 2008
Messages: 36

• [FOM] SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE 2009 (LFCS'09)   Sergei Artemov
• [FOM] A computational approach to the countable ordinals   Paul Budnik
• [FOM] A computational approach to the countable ordinals   Paul Budnik
• [FOM] Out-of-print books   Timothy Y. Chow
• [FOM] NYU Foundations of Math Conference   Justin Clarke-Doane
• [FOM] BLC 5TH SUMMER ANNOUNCEMENT   John Corcoran
• [FOM] finite axiomatisation   Ali Enayat
• [FOM] Finite axiomatisation   Ali Enayat
• [FOM] 5 year postdoc position in Mathematical Logic in Lisbon   Fernando Ferreira
• [FOM] finite axiomatisation   Thomas Forster
• [FOM] Finite axiomatisation   Thomas Forster
• [FOM] Finite axiomatisation   Harvey Friedman
• [FOM] finite axiomatisation   Allen Hazen
• [FOM] DAIMI Workshop on Algebraic Complexity Theory   Maurice Jansen
• [FOM] Out-of-print books   Roger Bishop Jones
• [FOM] Uniqueness of hyperreals and the Continuum Hypothesis   Robert L Knighten
• [FOM] finite automata equipped with bags:   Kreinovich, Vladik
• [FOM] A computational approach to the countable ordinals   Panagiotis Manolios
• [FOM] Imre Ruzsa died   Andras Mate
• [FOM] finite automata equipped with bags:   Wojciech Moczydlowski
• [FOM] finite automata equipped with bags:   Marcin Mostowski
• [FOM] finite automata equipped with bags:   Vaughan Pratt
• [FOM] Studies in Universal Logic (new books)   Sarenac,Darko
• [FOM] Finite axiomatisation   Stephen G Simpson
• [FOM] Kreisel bibliography?   Peter Smith
• [FOM] finite automata equipped with bags:   Apostolos Syropoulos
• [FOM] Finite axiomatisation   Bill Taylor
• [FOM] Finite axiomatisation   Alasdair Urquhart
• [FOM] Finite axiomatisation   Alasdair Urquhart
• [FOM] The Reasoner 2(9) available for download   Jon Williamson
• [FOM] finite axiomatisation   Richard Zach
• [FOM] 2008 Midwest NKS Conference: Call for Papers and/or Participation   Hector Zenil-Chavez
• [FOM] LATA 2009: 2nd call for papers   carlos.martin at urv.cat
• [FOM] Out-of-print books   hendrik at topoi.pooq.com
• [FOM] A computational approach to the countable ordinals   hendrik at topoi.pooq.com
• [FOM] Finite axiomatisation   pax0 at seznam.cz

Last message date: Tue Aug 26 19:04:22 EDT 2008
Archived on: Tue Aug 26 21:00:00 EDT 2008

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