Languages
Omodeo, Eugenio G.
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
Martin Davis on computability, computational logic, and mathematical foundations[electronic resource] /
by:
Omodeo, Eugenio G.; Policriti, Alberto.; SpringerLink (Online service)
(Language materials, printed)