Martin Davis

53 books • 6 series

Dover Books on Computer Science

Dover Books on Mathematics

Information Processing

Mathematics and its Applications

Pure & Applied Mathematics

Springer Theses