1
by Beth, Evert Willem
Published 1959
Elsevier Science
Table of Contents: ... of recursive functions and the negative results concerning the decision problem -- Metamathematics, philosophy...

2
by Beth, Evert Willem, Destouches, Jean Louis
Published 1967
Springer Netherlands
Subjects: ...Philosophy and science...