Symbolic logic and mechanical theorem proving / (Record no. 86972)

MARC details
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
Holdings
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