Symbolic logic and mechanical theorem proving / (Record no. 86972)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00382nam a2200133Ia 4500 |
100 ## - MAIN ENTRY--AUTHOR NAME | |
Personal name | Chang, Chin-lidng |
245 ## - TITLE STATEMENT | |
Title | Symbolic logic and mechanical theorem proving / |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Year of publication | 1973. |
490 ## - SERIES STATEMENT | |
Series statement | Computer science and applied mathematics,A series of monogra |
700 ## - ADDED ENTRY--PERSONAL NAME | |
Personal name | Lee, Richard Char-tung |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | General |
Withdrawn status | Lost status | Damaged status | Not for loan | Collection code | Home Library | Current Location | Date acquired | Full call number | Accession Number | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|
LC1 Live Collection Groud Floor | Kerala University Library | Kerala University Library | 12/08/2017 | R14 L3 | 152683 | 12/08/2017 | General |