Cover Image
Read Now

1
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... -- Relation level semantics -- A constructive set theory for program development -- McCarthy's amb cannot...”