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