Johar Manna profile picture

Johar Manna

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