Johar Manna profile picture

Johar Manna

Is this your author profile? Create an account to claim and customize it!

The Logical Basis for Computer Programming: Volume II: Deductive Systems