Cover Image
Read Now

1
by Hermes, Hans
Published 1969
Springer Berlin Heidelberg
Table of Contents: “... of Recursive Functions -- 6. Undecidable Predicates -- § 22. Simple Undecidable Predicates -- § 23...”