Symbolic logic : and its decision procedures /

Balasubramanian, P

Symbolic logic : and its decision procedures / by P Balasubramanian - Madras : University of Madras : 1980. - 168p. :


English