ALP members Eugenio Omodeo and Alberto Policriti just finished editing abook titled “Martin Davis on Computability, Computational Logic, and Mathematical Foundations” in the Springer series “Outstanding Contributions to Logic”. The book is available at from which front and back matters…
Month: February 2017
In Memoriam: Prof. Koichi Furukawa
by Jacques Cohen,
Brandeis University, USA