Johar Manna profile picture

Johar Manna

Stand Alone

The Logical Basis for Computer Programming. Volume II: Deductive Systems (Addison-Wesley Series in Computer Science)