Davis Martin

Presentations in Math-Net.Ru

1. Encounters with infinity
   Martin Davis
   Logical Perspectives 2018
   May 14, 2018 15:00   
2. Alan Turing's Universal Computer
   Martin Davis
   General Mathematics Seminar of the St. Petersburg Division of Steklov Institute of Mathematics, Russian Academy of Sciences
   October 28, 1999