Symbolic logic and mechanical theorem proving Chang Chin-Liang; Lee Richard Char-Tung
Material type:
TextLanguage: English Series: Computer Science and Applied Mathematics : A Series of Monogrraphs and TextbooksPublication details: New York Academic Press 1973Description: xiii,331p. cmDDC classification: - B:(R1), L31
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B:(R1) L31 (Browse shelf(Opens below)) | Available | SL0534140 |
There are no comments on this title.
Log in to your account to post a comment.