- Author: Yuri Matiyasevich Martin Davis Hilary Putnam
- Language: English
- Year: 1993
- Author: Yuri Matiyasevich Martin Davis Hilary Putnam
- Language: English
- Year: 1993
- Author: Yuri Matiyasevich Martin Davis Hilary Putnam
- Language: English
- Year: 1993
- Author: Yuri Matiyasevich Martin Davis Hilary Putnam
- Language: English
- Year: 1993