April 2007 Archives by author

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

Starting: Sun Apr 1 20:00:33 EDT 2007
Ending: Mon Apr 30 17:37:36 EDT 2007
Messages: 49

• [FOM] FMCAD 2007 Second Call for Papers [Apologies for duplicate postings]   by way of Martin Davis <martin at eipye.com>
• [FOM] ESARLT workshop at CADE-21 - CFP   by way of Martin Davis <martin at eipye.com>
• [FOM] Logic and Linguistics   David Auerbach
• [FOM] Logic and Linguistics   John Baldwin
• [FOM] Logics and Linguistics - clarification   John Baldwin
• [FOM] Martin's Axiom and cardinal exponeniation   John Baldwin
• [FOM] NBG, Subsets and Cantor's Theorem   Andrej Bauer
• [FOM] Infinity in Logic and Computation, November 2007, Cape Town   Vasco Brattka
• [FOM] Analyticity of half-exponentials   Timothy Y. Chow
• [FOM] Analyticity of half-exponentials   Timothy Y. Chow
• [FOM] AI-completeness   Timothy Y. Chow
• [FOM] dynamic logic workshop, Montreal, June 2007 (from "Patrick Girard" <pgirard@stanford.edu>)   Martin Davis
• [FOM] LSFA'07 - Final Call for papers   Martin Davis
• [FOM] Announcing IPMU 2008 (from Manuel Ojeda Aciego <aciego@ctima.uma.es>)   Martin Davis
• [FOM] The Foundations of Logic and Apprehension (event)   Steven Ericsson-Zenith
• [FOM] Re Logic and Linguistics   Ellen Fetchiet
• [FOM] Logic and Linguistics -clarification   Ellen Fetchiet
• [FOM] Logic and Linguistics   Thomas Forster
• [FOM] NBG, Subsets and Cantor's Theorem   Thomas Forster
• [FOM] SMT Workshop: Submission deadline extended to 28 April   Krstic, Sava
• [FOM] Logic and Linguistics   John McCarthy
• [FOM] AI-completeness   John McCarthy
• [FOM] Generalizatons of the theorem that PA cannot be finitely axiomatized.   Vann McGee
• [FOM] IICAI-07: paper submission deadline is extended   Bhanu Prasad
• [FOM] Analyticity of half-exponentials   Lasse Rempe
• [FOM] [Fwd: FW: Analyticity of half-exponentials]   Lasse Rempe
• [FOM] First-order properties of ordinals   Ivar Rummelhoff
• [FOM] Logic and Linguistics   Robert Smith
• [FOM] Question concerning Poincare, intuitionism, and problem solving   Steve Stevenson
• [FOM] Fwd: Re: reply to S.S. Kutateladze (19 Mar)   Gabriel Stolzenberg
• [FOM] NBG, Subsets and Cantor's Theorem   Studtmann, Paul
• [FOM] Finite trees and Goodstein's Theorem   Rupert Swarbrick
• [FOM] NBG, Subsets and Cantor's Theorem   T.Forster at dpmms.cam.ac.uk
• [FOM] Logic and Linguistics   Neil Tennant
• [FOM] [Fwd: CFP: Special Issue of Foundations of Science on Mathematics and Argumentation]   Sara L. Uckelman
• [FOM] Analyticity of half-exponentials   Alasdair Urquhart
• [FOM] Analyticity of half-exponentials   Alasdair Urquhart
• [FOM] Analyticity of half-exponentials   Alasdair Urquhart
• [FOM] Analyticity of half-exponentials   Tjark Weber
• [FOM] CFP: Combining probability and logic   Jon Williamson
• [FOM] The Reasoner   Jon Williamson
• [FOM] Book announcement: a puzzle book on Boolean algebra by Raymond   carniell at cle.unicamp.br
• [FOM] Submissions - Kurt Goedel Centenary Research Prize Fellowships   goedel-fellowship
• [FOM] My book on Quine and the question ofmathematical platonism has been published at the Harmattan Edition   mlika hamdi
• [FOM] AI-completeness   hendrik at topoi.pooq.com
• [FOM] Analyticity of half-exponentials   joeshipman at aol.com
• [FOM] Analyticity of half-exponentials   joeshipman at aol.com
• [FOM] Analyticity of half-exponentials   joeshipman at aol.com
• [FOM] AI-completeness   joeshipman at aol.com

Last message date: Mon Apr 30 17:37:36 EDT 2007
Archived on: Tue May 1 18:15:18 EDT 2007

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