Symbolic logic and mechanical theorem proving
by Chin-Liang Chang and Richard Char-Tung Lee (Academic Press, 1973)
|
| Collection Type : | Buku Teks SO |
| Call Number : | 511.3 CHA s |
| Main entry-Personal name : | |
| Additional entry-Personal name : | |
| Subject : | |
| Publishing : | New York: Academic Press, 1973 |
| Physics | xiii, 331 p. : ill. ; 24 cm. |
| Type | |
| Format | |
| Language | eng |
| Call Number | Barcode Number | Availability |
|---|---|---|
| 511.3 CHA s | 01-10-12001235 | TERSEDIA |
| Review: |
| No review available for this collection: 145379 |
