April 2015 Archives by author

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

Starting: Wed Apr 1 11:18:07 EDT 2015
Ending: Thu Apr 30 12:17:43 EDT 2015
Messages: 43

• [FOM] Compactness of second order propositional logic   Guillermo Badia
• [FOM] Compactness of second order propositional logic   Guillermo Badia
• [FOM] VSTTE 2015 Final Call For Papers   Daniel Bundala
• [FOM] Extended Deadline (May 1), VSTTE'15   Daniel Bundala
• [FOM] Lectureships in Pure Mathematics (including Logic and Applications to Computer Science)   S Barry Cooper
• [FOM] CiE 2015, Bucharest, Romania - EXTENDED SUBMISSION DEADLINE FOR INFORMAL PRESENTATIONS   S Barry Cooper
• [FOM] non-extensional models of set theory   Ali Enayat
• [FOM] Logic doctoral position at the University of Gothenburg   Ali Enayat
• [FOM] Gödel’s 2nd Incompleteness Theorem mechanically "proven"   Steven Ericsson-Zenith
• [FOM] Pierre Jullien's PhD thesis   James Gay
• [FOM] Logic and Logical Philosophy vol. 24 no. 1   Rafał Gruszczyński
• [FOM] Omega Consistency of Q Implies Consistency of PA?   Richard Heck
• [FOM] SLS Summer School in Logic 2015, July 27-31   Kennedy, Juliette
• [FOM] Mints memorial conference: information urgently needed   Kreinovich, Vladik
• [FOM] non-extensional models of set theory   Paul B Levy
• [FOM] CFP Computation y Sistemas: Thematic Issue on Developments on Logic-based Methods for Intelligent Systems   Bruno Lopes
• [FOM] LFCS 2016 Call For Papers   Robert Lubarsky
• [FOM] Visiting Assistant Professorship   Robert Lubarsky
• [FOM] FILOMENA 2 - Deadline extended - Natal/BR   Sanderson Molick
• [FOM] new edition of "Philosophie der Mathematik"   Roman Murawski
• [FOM] M] Compactness of second order propositional logic   Adriano Palma
• [FOM] CFP: 10th Panhellenic Logic Symposium -- deadline extension: April 12   Nikolaos S. Papaspyrou
• [FOM] Tableaux 2015 -- second call for papers   Andrei Popescu
• [FOM] E. W. Beth Dissertation Prize: 2015 call for nominations (DEADLINE APPROACHING)   Ruy de Queiroz
• [FOM] CfP General Proof Theory, 27-29 November 2015, Tübingen   Peter Schroeder-Heister
• [FOM] Compactness of second order propositional logic   Dana Scott
• [FOM] Omega Consistency of Q Implies Consistency of PA?   V.Yu. Shavrukov
• [FOM] Omega Consistency of Q Implies Consistency of PA?   Joseph Shipman
• [FOM] CFP: AAL 2015   N.J.J. Smith
• [FOM] Continuity, Computability, Constructivity 2015; call for submission   Dieter Spreen
• [FOM] Gentzen sequent calculus or ND system for Kleene's 3-valued logics   Tennant, Neil
• [FOM] non-extensional models of set theory   Alasdair Urquhart
• [FOM] Compactness of second order propositional logic   Alasdair Urquhart
• [FOM] Compactness of second order propositional logic   Alasdair Urquhart
• [FOM] Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics   Andrés Villaveces
• [FOM] Fwd: Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics   Andrés Villaveces
• [FOM] CFP: SAT 2015   Sean Weaver
• [FOM] SAT 2015: Deadlines Extended   Sean Weaver
• [FOM] Compactness of second order propositional logic   Richard Zach
• [FOM] Any future for logic?   jean-yves beziau
• [FOM] Reminder - Lille 2015: History and Philosophy of Science & Education, Summer School   pisanoraffaele at iol.it
• [FOM] non-extensional models of set theory   william tait
• [FOM] Omega Consistency of Q Implies Consistency of PA?   william tait

Last message date: Thu Apr 30 12:17:43 EDT 2015
Archived on: Fri May 1 12:01:28 EDT 2015

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