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