Cover Image
Read Now

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- Four Lectures on Primitive Recursion -- Structured Specifications: Syntax, Semantics and Proof Calculus...”