October 2020 Archives by author

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

Starting: Thu Oct 1 13:18:35 EDT 2020
Ending: Thu Oct 29 03:18:05 EDT 2020
Messages: 21

• Kurt Gödel: Maxims and Philosophical Remarks, Volume XI   Mark van Atten
• nonrecursive set of parentheses related to number theory   José Manuel Rodríguez Caballero
• SUM OF THREE CUBES   Timothy Y. Chow
• SUM OF THREE CUBES   Timothy Y. Chow
• Fwd: Michael Morley   Martin Davis
• Is the universe conservative?   Monroe Eskew
• NEW: Proof Theory Virtual Seminar   Anton Freund
• SUM OF THREE CUBES   Harvey Friedman
• SUM OF THREE CUBES   Harvey Friedman
• “ETTORE CASARI” LOGIC PRIZE - 2020   Pierluigi Graziani
• CFP: Logic and Logical Philosophy   Rafał Gruszczyński
• NEW: Proof Theory Virtual Seminar   Richard Heck
• First Call for Papers CiE2021   Kreinovich, Vladik
• CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2021 Online 4-6 February, 2021   Roussanka Loukanova
• Finite axiomatizability and length of proofs   Joe Shipman
• Finite axiomatizability and length of proofs   Joe Shipman
• Is the universe conservative?   Annatala Wolf
• Is the universe conservative?   martdowd at aol.com
• Is the universe conservative?   martdowd at aol.com
• CFP: Special Issue on Reasoning about Social Networks, Journal of Logic and Computation   gprimiero at libero.it
• First Call for Papers CiE2021   gprimiero at libero.it

Last message date: Thu Oct 29 03:18:05 EDT 2020
Archived on: Thu Oct 29 18:58:21 EDT 2020

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