Normal view
MARC view
Eugenio G. Omodeo, Alberto Policriti (Personal Name)
Machine generated authority record
Work cat.: (OSt)1617389: Eugenio G. Omodeo, Alberto Policriti, Martin Davis on Computability, Computational Logic, and Mathematical Foundations