Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Rules I: Syntax Versus Semantics -- Complexity of Primitive Recursion -- Computers, Reasoning...”