Martin Davis (1977): Unsolvable Problems
Title:
Unsolvable Problems
Author(s):
Martin Davis
Year:
1977
Booktitle:
Handbook of Mathematical Logic
Editor(s):
Jon Barwise
Chapter:
C.2
Pages:
567-594
Publisher:
North--Holland
Address:
Amsterdam
Concepts
