Symbolic logic and Mechanical theorem proving
By: Char, Richard
.
Contributor(s): Lee, Tung.
Material type: 
Text
| Item type | Current location | Home library | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Libro impreso
|
Sede Tigre - Instituto de Investigación | Sede Tigre - Instituto de Investigación | 004934 (Browse shelf) | Available | Solicitar en la Sede Tigre | 004934 |