Loading...
Symbolic logic and its decision procedures /
| Main Author: | |
|---|---|
| Format: | Printed Book |
| Language: | English |
| Published: |
Madras:
University of Madras,
1980.
|
| LEADER | 00462nam a22001217a 4500 | ||
|---|---|---|---|
| 008 | 151006b xxu||||| |||| 00| 0 eng d | ||
| 100 | |a Balasubramanian, P | ||
| 245 | |a Symbolic logic and its decision procedures / |c By P Balasubramanian. | ||
| 260 | |a Madras: |b University of Madras, |c 1980. | ||
| 300 | |a 168p. | ||
| 942 | |c BK | ||
| 999 | |c 249163 |d 249163 | ||
| 952 | |0 0 |1 0 |4 0 |6 160_BAL_S |7 0 |9 276852 |a SAN |b SAN |c ST1 |d 2015-10-06 |g 15.00 |i 4971 |l 0 |o 160, BAL/S |p SAN4971 |r 2015-10-06 |w 2015-10-06 |y BK | ||