April 2007 Archives by author
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
This archive was generated by
Pipermail 0.09 (Mailman edition).