Davis, Martin
The Undecidable :Basic Papers on Undecidable Propositions, Unsoluables Problems and Computable Functions / Martin Davis . - New York : Raven Press , 1965 . - 440 p.; 24 cm.
Problemas Insolubles
The Undecidable :Basic Papers on Undecidable Propositions, Unsoluables Problems and Computable Functions / Martin Davis . - New York : Raven Press , 1965 . - 440 p.; 24 cm.
Problemas Insolubles