November 2012 Archives by author

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

Starting: Thu Nov 1 15:41:49 EDT 2012
Ending: Fri Nov 30 11:25:50 EST 2012
Messages: 66

• [FOM] CADE-24 Workshops, Tutorials, Competitions   Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
• [FOM] Logica Universalis special issue -- van Heijenoort at 100   Irving Anellis
• [FOM] Terminology   Irving Anellis
• [FOM] terminology   Irving Anellis
• [FOM] Terminology   G. Aldo Antonelli
• [FOM] Logical Correctness -- Fuzzyness & Triadic Relations   Jon Awbrey
• [FOM] Avoiding patterns/RCA/WKL   Andrej Bauer
• [FOM] Negation, Contradiction, Contravalence and Complementarity   Frode Bjørdal
• [FOM] Minor corrections   Frode Bjørdal
• [FOM] Terminology   Frode Bjørdal
• [FOM] [ACiE] CFP CiE 2013: The Nature of Computation   Olivier Bournez
• [FOM] CiE 2013: The Nature of Computation   Olivier Bournez
• [FOM] Logical Correctness   Charlie
• [FOM] criteria for the existence of infinite models of FO theories   Charlie
• [FOM] Logical Correctness   Timothy Y. Chow
• [FOM] 10th Annual Conference on Theory and Applications of Models of Computation (TAMC13)   S B Cooper
• [FOM] CiE 2013: The Nature of Computation, Milan, Italy, July 1-5, 2013   S B Cooper
• [FOM] Legacy of Reuben Goodstein, Friday 14th December, 2012   S Barry Cooper
• [FOM] moderator is in Mexico   Martin Davis
• [FOM] Terminology   Michael DeLaurentis
• [FOM] Logical Correctness   Antonino Drago
• [FOM] Terminology   ARF (Richard L. Epstein)
• [FOM] 507: Finite Embedded Dominators   Harvey Friedman
• [FOM] 508: Unique Undefinable Elements   Harvey Friedman
• [FOM] 509: More Undefinable Elements   Harvey Friedman
• [FOM] 510: More Undefinable Elements 2   Harvey Friedman
• [FOM] Logical Correctness   Joel I. Friedman
• [FOM] Logical Correctness/ Friedman   Joel I. Friedman
• [FOM] LATA 2013: submission deadline extended   GRLMC
• [FOM] Call for Survey Articles   Richard Heck
• [FOM] A potentially embarrassing claim   Randall Holmes
• [FOM] projected NF meeting in Cambridge, forwarded from Thomas Forster   Randall Holmes
• [FOM] Updates to "Elementary Set Theory with a Universal Set"   Randall Holmes
• [FOM] Terminology   George Kapoulas
• [FOM] Terminology   Aatu Koskensilta
• [FOM] PhD opportunities in the Computer Science theory group at Birmingham   Paul Levy
• [FOM] Avoiding patterns/RCA/WKL   Alberto Marcone
• [FOM] Terminology   Joao Marcos
• [FOM] Terminology   Joao Marcos
• [FOM] Terminology   Joao Marcos
• [FOM] Two PhD scholarships in non-classical mathematics   Maarten McKubre-Jordens
• [FOM] Avoiding patterns/RCA/WKL   George McNulty
• [FOM] Terminology   Marcin Mostowski
• [FOM] Terminology   F.A. Muller
• [FOM] [LICS] LICS Newsletter 140   Andrzej Murawski
• [FOM] Logical Correctness   Vaughan Pratt
• [FOM] Information about CSR 2013 to FOM list   Elena Pribavkina
• [FOM] Foundation of Mathematics for Computer-Aided Formalization   Giovanni Sambin
• [FOM] Teach Yourself Logic: A Guide   Peter Smith
• [FOM] On deriving G2 from G1   Neil Tennant
• [FOM] typo corrected in G1 impies G2   Neil Tennant
• [FOM] Avoiding patterns/RCA/WKL   Alasdair Urquhart
• [FOM] Terminology   Alasdair Urquhart
• [FOM] Terminology   John E. Woods
• [FOM] logical correctness/ Friedman   Lotfi Zadeh
• [FOM] logical correctness\ Pratt   Lotfi Zadeh
• [FOM] Logical Correctness   Lotfi A. Zadeh
• [FOM] Logical Correctness/ Friedman   Lotfi A. Zadeh
• [FOM] Logical Correctness/ Chow   Lotfi A. Zadeh
• [FOM] Logical Correctness/ Drago   Lotfi A. Zadeh
• [FOM] Terminology   MartDowd at aol.com
• [FOM] UNILOG'2013 Extended Deadline November 15th, 2012   jean-yves beziau
• [FOM] Workshop "ULTRA-COMBINATORICS" in Pisa, January 24-25, 2013.   dinasso at dm.unipi.it
• [FOM] Terminology   T.Forster at dpmms.cam.ac.uk
• [FOM] Call for papers !   mlika hamdi
• [FOM] Avoiding patterns/RCA/WKL   pax0 at seznam.cz

Last message date: Fri Nov 30 11:25:50 EST 2012
Archived on: Sat Dec 1 18:41:22 EST 2012

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