Cover Image
Read Now

1
by Hermes, Hans
Published 1970
Springer Berlin Heidelberg
Table of Contents: “... term calculus -- Soundness of the rules -- Survey of the completeness proof -- Some theorems concerning...”
Cover Image
Read Now

2
by Hermes, Hans
Published 1969
Springer Berlin Heidelberg
Table of Contents: “...-Computability and ?-Recursiveness -- § 15. Survey. Standard Turing-Computability -- § 16. The Turing...”