home
>
book reviews
> Zohar Manna
Google >
Zohar Manna
author : Zohar Manna
Books
The Logical Basis for Computer Programming Volume 2
: Deductive Systems
. 1990,
with
Richard Waldinger